( en | de | ru )

 

Disambiguation of "de Groote, Philippe"

Author of the publication

copydeleteadd this publication to your clipboard
On the Relation between the Lambda-Mu-Calculus and the Syntactic Theory of Sequential Control.

. LPAR, volume 822 of Lecture Notes in Computer Science, page 31-43. Springer, (1994)

Please choose a person to relate this publication to

To differ between persons with the same name, the academic degree and the title of an important publication will be displayed. You can also use the button next to the name to display some publications already assigned to the person.

Kim de Groote

Philippe de Roten

Philippe De Souza

Philippe De Lombaerde

Harald Groote

 

Other publications of authors with the same name

On the Relation between the Lambda-Mu-Calculus and the Syntactic Theory of Sequential Control.. LPAR, volume 822 of Lecture Notes in Computer Science, page 31-43. Springer, (1994)A Type-Logical Account of Quantification in Event Semantics., and . JSAI-isAI Workshops, volume 9067 of Lecture Notes in Computer Science, page 53-65. Springer, (2014)Strong Normalization of Classical Natural Deduction with Disjunction.. TLCA, volume 2044 of Lecture Notes in Computer Science, page 182-196. Springer, (2001)An Algebraic Correctness Criterion for Intuitionistic Multiplicative Proof-Nets.. Theor. Comput. Sci., 224 (1-2): 115-134 (1999)On the Complexity of Higher-Order Matching in the Linear lambda-Calculus., and . RTA, volume 2706 of Lecture Notes in Computer Science, page 234-245. Springer, (2003)Quantification Annotation in ISO 24617-12, Second Draft., , , , , , , , , and 2 other author(s). LREC, page 3407-3416. European Language Resources Association, (2022)A French Version of the FraCaS Test Suite., , , , and . LREC, page 5887-5895. European Language Resources Association, (2020)On the Strong Normalisation of Intuitionistic Natural Deduction with Permutation-Conversions.. Inf. Comput., 178 (2): 441-464 (2002)Strong Normalization in a Non-Deterministic Typed Lambda-Calculus.. LFCS, volume 813 of Lecture Notes in Computer Science, page 142-152. Springer, (1994)A Note on Intensionalization., and . J. Log. Lang. Inf., 22 (2): 173-194 (2013)