InforLorV4, Istex, Corpus, indexItem, Author.i, Philippe De Groote

Philippe David < Philippe De Groote < Philippe Demonsablon

Facettes :

List of bibliographic references

Number of relevant bibliographic references: 23.
[0-20] [0 - 20][0 - 23][20-22][20-40]**** probable Xml problem ****

Ident.	Authors (with country if any)	Title
000194 (2001)	Philippe De Groote	Strong Normalization of Classical Natural Deduction with Disjunction
000462 (1999)	Philippe De Groote	A Dynamic Programming Approach to Categorial Deduction
000592 (1994)	Philippe De Groote	On the relation between the λ μ -calculus and the syntactic theory of sequential control
000880 (2004)	Philippe De Groote ; Sylvain Salvati	Higher-Order Matching in the Linear λ -calculus with Pairing
000C03 (1999)	Philippe De Groote	The Non-associative Lambek Calculus with Product in Polynomial Time
000C47 (1997)	Denis Bechet ; Philippe De Groote ; Christian Retoré	A complete axiomatisation for the inclusion of series-parallel partial orders
001027 (2007)	Philippe De Groote ; Sarah Maarek ; Ryo Yoshinaka	On Two Extensions of Abstract Categorial Grammars
001455 (2000)	Philippe De Groote	Proof-Search in Implicative Linear Logic as a Matching Problem
001564 (1994)	Philippe De Groote	Strong normalization in a non-deterministic typed lambda-calculus
001820 (1995)	Philippe De Groote	A simple calculus of exception handling
001912 (1999)	Philippe De Groote	An algebraic correctness criterion for intuitionistic multiplicative proof-nets
001C18 (2000)	Philippe De Groote	Linear Higher-Order Matching Is NP-Complete
002085 (1994)	Philippe De Groote	A CPS-translation of the λμ-calculus
002199 (1995)	Philippe De Groote	Linear logic with isabelle: Pruning the proof search tree
002294