Philippe de Groote

Available identifiers

zbMath Open de-groote.philippeMaRDI QIDQ831146

List of research outcomes

Publication	Date of Publication	Type
Extending abstract categorial grammars with feature structures: theory and practice	2024-11-12	Paper
On the semantics of dependencies: relative clauses and open clausal complements	2024-11-12	Paper
Deriving formal semantic representations from dependency structures	2024-06-21	Paper
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

This page was built for person: Philippe de Groote