Philippe de Groote

Available identifiers

zbMath Open de-groote.philippeMaRDI QIDQ831146

List of research outcomes

Publication	Date of Publication	Type
Multityped abstract categorial grammars and their composition	2023-06-02	Paper
Introducing \(\llparenthesis\lambda\rrparenthesis\), a \(\lambda \)-calculus for effectful computation	2021-05-10	Paper
https://portal.mardi4nfdi.de/entity/Q4599194	2017-12-18	Paper
A complete axiomatisation for the inclusion of series-parallel partial orders	2017-11-17	Paper
Proof-Theoretic Aspects of the Lambek-Grishin Calculus	2015-09-24	Paper
A note on intensionalization	2015-02-09	Paper
Stochastic Lambek Categorial Grammars	2013-05-24	Paper
About Parallel and Syntactocentric Formalisms: A Perspective from the Encoding of Convergent Grammar into Abstract Categorial Grammar	2011-11-22	Paper
On the Syntax-Semantics Interface: From Convergent Grammar to Abstract Categorial Grammar	2009-07-02	Paper
On Two Extensions of Abstract Categorial Grammars	2008-05-15	Paper
Computer Science Logic	2005-08-22	Paper
https://portal.mardi4nfdi.de/entity/Q3024836	2005-07-04	Paper
On the expressive power of abstract categorial grammars: Representing context-free formalisms	2005-04-07	Paper
On the strong normalisation of intuitionistic natural deduction with permutation-conversions	2004-03-04	Paper
https://portal.mardi4nfdi.de/entity/Q4447236	2004-02-16	Paper
Classical non-associative Lambek calculus	2002-12-15	Paper
https://portal.mardi4nfdi.de/entity/Q2767024	2002-07-22	Paper
https://portal.mardi4nfdi.de/entity/Q2778822	2002-03-21	Paper
https://portal.mardi4nfdi.de/entity/Q2757810	2001-12-04	Paper
https://portal.mardi4nfdi.de/entity/Q2723896	2001-07-08	Paper
https://portal.mardi4nfdi.de/entity/Q4501146	2000-09-03	Paper
https://portal.mardi4nfdi.de/entity/Q4263153	2000-06-13	Paper
https://portal.mardi4nfdi.de/entity/Q4954443	2000-06-07	Paper
https://portal.mardi4nfdi.de/entity/Q4938597	2000-04-25	Paper
https://portal.mardi4nfdi.de/entity/Q4263011	2000-03-20	Paper
An algebraic correctness criterion for intuitionistic multiplicative proof-nets	2000-01-12	Paper
An environment machine for the λμ-calculus	1999-08-17	Paper
A note on Kobayashi's and Yonezawa's ``Asynchronous communication model based on linear logic	1999-02-24	Paper
https://portal.mardi4nfdi.de/entity/Q4376053	1998-05-17	Paper
https://portal.mardi4nfdi.de/entity/Q4370237	1998-01-14	Paper
https://portal.mardi4nfdi.de/entity/Q4281578	1994-10-19	Paper
https://portal.mardi4nfdi.de/entity/Q4281472	1994-09-01	Paper
https://portal.mardi4nfdi.de/entity/Q4012876	1992-09-27	Paper

Research outcomes over time

Doctoral students

No records found.

Known relations from the MaRDI Knowledge Graph

Property	Value
MaRDI profile type	MaRDI person profile
instance of	human

This page was built for person: Philippe de Groote