-
Provability in Intuitionistic Linear Logic from a New Interpretation on Petri...
Article dans revue scientifique avec comité de lecture. -
Occurrence Net Logics
Colloque avec actes sans comité de lecture. -
Spaces for linguistic representations and the semantics of linear Logic
Colloque sur invitation. internationale. -
From Ordered Monoids to Quantales and Petri Nets: Revised Semantics and Compl...
Submitted to a Journal. Rapport interne. -
On the semantics of static exception handling
Rapport interne. Fusionné avec l'identifiant A00-R-197 || de_groote00a -
O smyslu a významu v sémantice jazyka mysli příspěvek k analýze pojmu obsah m...
Tento text, tematicky pokrývající pomezí kognitivní psychologie a analytické filozofie, se zaměřuje na psychologicko-filozofické aspekty možné aplikace základních... -
Some Issues about Proof Search in Linear Logic - abstract -
Colloque avec actes et comité de lecture. -
Manières de voyager à travers les langues: récit de voyage scientifique et tr...
This dataset has no description
-
Manières de voyager à travers les langues: études de cas
This dataset has no description
-
Quantales as completions of ordered monoids: revised semantics for Intuitioni...
Article dans revue scientifique avec comité de lecture. -
Proof-search in Type-theoretic Languages: An Introduction
Article dans revue scientifique avec comité de lecture. -
Workshop on Type-theoretic Languages: Proof-search and Semantics
Congrès (éditeur). internationale. -
A monotone lambda-calculus: the example of ordinal terms
Rapport interne. -
Resource models and proof-search in Intuitionistic Linear Logic
Rapport interne. -
Number and numeration in Nêlêmwa and Zuanga (New Caledonia): Ontologies, defi...
International audience -
Resource Models and Proofs in Bunched Implications Logic
Colloque sur invitation. internationale. -
Semantic Labelled Tableaux for propositional BI (without bottom)
Article dans revue scientifique avec comité de lecture. internationale. -
Semantically-based text authoring and the concurrent documentation of experim...
Colloque avec actes et comité de lecture.... -
Semantic Context-Aware Service Composition for Building Automation System
International audience
