Philippe de Groote

From MaRDI portal
Person:831146

Available identifiers

zbMath Open de-groote.philippeMaRDI QIDQ831146

List of research outcomes

PublicationDate of PublicationType
Multityped abstract categorial grammars and their composition2023-06-02Paper
Introducing \(\llparenthesis\lambda\rrparenthesis\), a \(\lambda \)-calculus for effectful computation2021-05-10Paper
https://portal.mardi4nfdi.de/entity/Q45991942017-12-18Paper
A complete axiomatisation for the inclusion of series-parallel partial orders2017-11-17Paper
Proof-Theoretic Aspects of the Lambek-Grishin Calculus2015-09-24Paper
A note on intensionalization2015-02-09Paper
Stochastic Lambek Categorial Grammars2013-05-24Paper
About Parallel and Syntactocentric Formalisms: A Perspective from the Encoding of Convergent Grammar into Abstract Categorial Grammar2011-11-22Paper
On the Syntax-Semantics Interface: From Convergent Grammar to Abstract Categorial Grammar2009-07-02Paper
On Two Extensions of Abstract Categorial Grammars2008-05-15Paper
Computer Science Logic2005-08-22Paper
https://portal.mardi4nfdi.de/entity/Q30248362005-07-04Paper
On the expressive power of abstract categorial grammars: Representing context-free formalisms2005-04-07Paper
On the strong normalisation of intuitionistic natural deduction with permutation-conversions2004-03-04Paper
https://portal.mardi4nfdi.de/entity/Q44472362004-02-16Paper
Classical non-associative Lambek calculus2002-12-15Paper
https://portal.mardi4nfdi.de/entity/Q27670242002-07-22Paper
https://portal.mardi4nfdi.de/entity/Q27788222002-03-21Paper
https://portal.mardi4nfdi.de/entity/Q27578102001-12-04Paper
https://portal.mardi4nfdi.de/entity/Q27238962001-07-08Paper
https://portal.mardi4nfdi.de/entity/Q45011462000-09-03Paper
https://portal.mardi4nfdi.de/entity/Q42631532000-06-13Paper
https://portal.mardi4nfdi.de/entity/Q49544432000-06-07Paper
https://portal.mardi4nfdi.de/entity/Q49385972000-04-25Paper
https://portal.mardi4nfdi.de/entity/Q42630112000-03-20Paper
An algebraic correctness criterion for intuitionistic multiplicative proof-nets2000-01-12Paper
An environment machine for the λμ-calculus1999-08-17Paper
A note on Kobayashi's and Yonezawa's ``Asynchronous communication model based on linear logic1999-02-24Paper
https://portal.mardi4nfdi.de/entity/Q43760531998-05-17Paper
https://portal.mardi4nfdi.de/entity/Q43702371998-01-14Paper
https://portal.mardi4nfdi.de/entity/Q42815781994-10-19Paper
https://portal.mardi4nfdi.de/entity/Q42814721994-09-01Paper
https://portal.mardi4nfdi.de/entity/Q40128761992-09-27Paper

Research outcomes over time


Doctoral students

No records found.


Known relations from the MaRDI Knowledge Graph

PropertyValue
MaRDI profile typeMaRDI person profile
instance ofhuman


This page was built for person: Philippe de Groote