Searching for authors named "Philippe de Groote" – sorted by Relevance.
17 documents found, showing 1 through 10.
Next 10 →
-
On the Relation between the lambdaµ-Calculus and the Syntactic Theory of Sequential Control
- …On the Relation between the ��-Calculus and the Syntactic Theory of Sequential Control Philippe de…
- Add To MetaCart
-
Strong Normalization in a Non-Deterministic Typed Lambda-Calculus
- …Strong Normalization in a Non-Deterministic Typed Lambda-Calculus Philippe de Groote INRIA…
- Cited by 3 (0 self) – Add To MetaCart
-
Denotations for classical proofs - Preliminary results
- …Denotations for classical proofs Preliminary results Philippe de Groote Universit# Catholique de…
- Cited by 2 (0 self) – Add To MetaCart
-
An Environment Machine for the λμ-Calculus
- …An environment machine for the ��-calculus PH I L I PPE de GROOTE INRIA-Lorraine & CRIN -- CNRS…
- Cited by 5 (0 self) – Add To MetaCart
-
A Note on Kobayashi's and Yonezawa's "Asynchronous Communication Model Based on Linear Logic"
- … Philippe de Groote and Guy Perrier UMR n o 7503 LORIA - INRIA - Universit Nancy 2 Campus Scientique - BP…
- Add To MetaCart
-
On the expressive power of the Lambek calculus extended with a structural modality
- … Philippe de Groote Projet Calligramme INRIA-Lorraine CRIN CNRS 615, rue du Jardin Botanique - B.P. 101…
- Add To MetaCart
-
m-Linear Context-Free Rewriting Systems as Abstract Categorial Grammars
- …Chapter 1 m-Linear Context-Free Rewriting Systems as Abstract Categorial Grammars PHILIPPE DE…
- Add To MetaCart
-
An Algebraic Correctness Criterion for Intuitionistic Proof-Nets
- …An algebraic correctness criterion for intuitionistic proof-nets Philippe de Groote Projet…
- Cited by 13 (0 self) – Add To MetaCart
-
m-linear context-free rewriting systems as abstract categorial grammars
- …Chapter 1 -Linear Context-Free Rewriting Systems as Abstract Categorial Grammars PHILIPPE DE…
- Cited by 2 (0 self) – Add To MetaCart
-
Partially Commutative Linear Logic: Sequent Calculus and Phase Semantics
- …Partially commutative linear logic: sequent calculus and phase semantics Philippe de Groote Projet…
- Cited by 25 (1 self) – Add To MetaCart
Showing 1 through 10.
Next 10 →
