Home
About
Advanced Search
Browse by Discipline
Scientific Societies
E-print Alerts
Add E-prints
FAQ
•
HELP
•
SITE MAP
•
CONTACT US
Search
Advanced Search
de Groote, Philippe - Laboratoire Lorrain de Recherche en Informatique et ses Applications (LORIA), Université Henri Poincaré -Nancy-Université
Linear higher-order matching is NP-complete Philippe de Groote
The Conservation Theorem revisited Philippe de Groote
On the expressive power of the Lambek calculus extended with a structural modality
A CPS-Translation of the -Calculus Philippe de Groote
Denotations for classical proofs Preliminary results
Constructing different phonological bracketings from a proof-net
A Simple Calculus of Exception Handling Philippe de Groote
Defining -Typed -Calculi by Axiomatizing the Typing Relation
The Non-associative Lambek calculus with product in polynomial time
On the Relation between the -Calculus and the Syntactic Theory of Sequential Control
Strong Normalization in a Non-Deterministic Typed Lambda-Calculus
On the Semantic Readings of Proof-Nets Philippe de Groote, Christian Retore
A complete axiomatisation for the inclusion of series-parallel partial orders
An algebraic correctness criterion for intuitionistic proof-nets
On the Strong Normalisation of Natural Deduction with Permutation-Conversions
A dynamic programming approach to categorial Philippe de Groote
Strong Normalization of Classical Natural Deduction with Disjunction
Stochastic Categorial Grammars --Abstract --
Type raising, continuations, and classical logic Philippe de Groote
Partially commutative linear logic: sequent calculus and phase semantics
Linear Logic with Isabelle: pruning the proof search tree
