| 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
Logic, Language, Information, and Computation | 2023-06-02 | Paper |
Introducing \(\llparenthesis\lambda\rrparenthesis\), a \(\lambda \)-calculus for effectful computation
Theoretical Computer Science | 2021-05-10 | Paper |
| Abstract categorial parsing as linear logic programming | 2017-12-18 | Paper |
A complete axiomatisation for the inclusion of series-parallel partial orders
Rewriting Techniques and Applications | 2017-11-17 | Paper |
Proof-theoretic aspects of the Lambek-Grishin calculus
Logic, Language, Information, and Computation | 2015-09-24 | Paper |
A note on intensionalization
Journal of Logic, Language and Information | 2015-02-09 | Paper |
Stochastic Lambek categorial grammars
Electronic Notes in Theoretical Computer Science | 2013-05-24 | Paper |
About parallel and syntactocentric formalisms: a perspective from the encoding of convergent grammar into abstract categorial grammar
Fundamenta Informaticae | 2011-11-22 | Paper |
On the Syntax-Semantics Interface: From Convergent Grammar to Abstract Categorial Grammar
Logic, Language, Information and Computation | 2009-07-02 | Paper |
On Two Extensions of Abstract Categorial Grammars
Logic for Programming, Artificial Intelligence, and Reasoning | 2008-05-15 | Paper |
Computer Science Logic
Lecture Notes in Computer Science | 2005-08-22 | Paper |
| scientific article; zbMATH DE number 2185662 (Why is no real title available?) | 2005-07-04 | Paper |
On the expressive power of abstract categorial grammars: Representing context-free formalisms
Journal of Logic, Language and Information | 2005-04-07 | Paper |
On the strong normalisation of intuitionistic natural deduction with permutation-conversions
Information and Computation | 2004-03-04 | Paper |
| scientific article; zbMATH DE number 2043532 (Why is no real title available?) | 2004-02-16 | Paper |
Classical non-associative Lambek calculus
Studia Logica | 2002-12-15 | Paper |
| scientific article; zbMATH DE number 1696770 (Why is no real title available?) | 2002-07-22 | Paper |
| scientific article; zbMATH DE number 1722654 (Why is no real title available?) | 2002-03-21 | Paper |
| scientific article; zbMATH DE number 1678362 (Why is no real title available?) | 2001-12-04 | Paper |
| scientific article; zbMATH DE number 1615234 (Why is no real title available?) | 2001-07-08 | Paper |
| scientific article; zbMATH DE number 1499092 (Why is no real title available?) | 2000-09-03 | Paper |
| scientific article; zbMATH DE number 1341604 (Why is no real title available?) | 2000-06-13 | Paper |
| scientific article; zbMATH DE number 1456954 (Why is no real title available?) | 2000-06-07 | Paper |
| scientific article; zbMATH DE number 1405618 (Why is no real title available?) | 2000-04-25 | Paper |
| scientific article; zbMATH DE number 1341472 (Why is no real title available?) | 2000-03-20 | Paper |
An algebraic correctness criterion for intuitionistic multiplicative proof-nets
Theoretical Computer Science | 2000-01-12 | Paper |
An environment machine for the λμ-calculus
Mathematical Structures in Computer Science | 1999-08-17 | Paper |
A note on Kobayashi's and Yonezawa's ``Asynchronous communication model based on linear logic
Formal Aspects of Computing | 1999-02-24 | Paper |
| scientific article; zbMATH DE number 1114337 (Why is no real title available?) | 1998-05-17 | Paper |
| scientific article; zbMATH DE number 1104363 (Why is no real title available?) | 1998-01-14 | Paper |
| scientific article; zbMATH DE number 512879 (Why is no real title available?) | 1994-10-19 | Paper |
| scientific article; zbMATH DE number 512779 (Why is no real title available?) | 1994-09-01 | Paper |
| scientific article; zbMATH DE number 65528 (Why is no real title available?) | 1992-09-27 | Paper |
