BibSLEIGH
BibSLEIGH corpus
BibSLEIGH tags
BibSLEIGH bundles
BibSLEIGH people
EDIT!
CC-BY
Open Knowledge
XHTML 1.0 W3C Rec
CSS 2.1 W3C CanRec
email twitter
Travelled to:
1 × Finland
1 × The Netherlands
2 × Italy
2 × Poland
2 × Spain
2 × United Kingdom
Collaborated with:
S.Salvati B.Guillaume D.Béchet C.Retoré
Talks about:
order (4) calculus (3) linear (3) higher (3) deduct (3) match (3) complet (2) strong (2) natur (2) axiomatis (1)

Person: Philippe de Groote

DBLP DBLP: Groote:Philippe_de

Facilitated 1 volumes:

TLCA 1997Ed

Contributed to:

CSL 20042004
LICS 20042004
RTA 20032003
TLCA 20012001
RTA 20002000
CADE 19991999
RTA 19991999
RTA 19971997
TLCA 19951995
TLCA 19931993

Wrote 10 papers:

CSL-2004-GrooteS #higher-order #linear #λ-calculus
Higher-Order Matching in the Linear λ-calculus with Pairing (PdG, SS), pp. 220–234.
LICS-2004-GrooteGS #automaton
Vector Addition Tree Automata (PdG, BG, SS), pp. 64–73.
RTA-2003-SalvatiG #complexity #higher-order #linear #on the #λ-calculus
On the Complexity of Higher-Order Matching in the Linear λ-Calculus (SS, PdG), pp. 234–245.
TLCA-2001-Groote #deduction #normalisation
Strong Normalization of Classical Natural Deduction with Disjunction (PdG), pp. 182–196.
RTA-2000-Groote #higher-order #linear
Linear Higher-Order Matching Is NP-Complete (PdG), pp. 127–140.
CADE-1999-Groote #approach #deduction #programming
A dynamic programming approach to categorial deduction (PdG), pp. 1–15.
RTA-1999-Groote #deduction #normalisation #on the
On the Strong Normalisation of Natural Deduction with Permutation-Conversions (PdG), pp. 45–59.
RTA-1997-BechetGR #axiom #partial order
A Complete Axiomatisation for the Inclusion of Series-Parallel Partial Orders (DB, PdG, CR), pp. 230–240.
TLCA-1995-Groote #calculus #exception
A Simple Calculus of Exception Handling (PdG), pp. 201–215.
TLCA-1993-Groote #revisited #theorem
The Conservation Theorem revisited (PdG), pp. 163–178.

Bibliography of Software Language Engineering in Generated Hypertext (BibSLEIGH) is created and maintained by Dr. Vadim Zaytsev.
Hosted as a part of SLEBOK on GitHub.