Glyn Morrill

Available identifiers

Publication	Date of Publication	Type
Bracket induction for Lambek calculus with bracket modalities	2023-06-12	Paper
Andre scedrov	2021-07-08	Paper
https://portal.mardi4nfdi.de/entity/Q5111318	2020-05-26	Paper
Parsing/theorem-proving for logical grammar \textit{CatLog3}	2019-06-26	Paper
https://portal.mardi4nfdi.de/entity/Q4599224	2017-12-18	Paper
On the Logic of Expansion in Natural Language	2017-02-22	Paper
Overtly Anaphoric Control in Type Logical Grammar	2016-12-01	Paper
Semantically Inactive Multiplicatives and Words as Types	2014-06-24	Paper
A Categorial Type Logic	2014-05-08	Paper
Displacement logic for anaphora	2013-12-13	Paper
A Count Invariant for Lambek Calculus with Additives and Bracket Modalities	2013-08-07	Paper
Generalized Discontinuity	2012-11-02	Paper
Logic Programming of the Displacement Calculus	2011-07-01	Paper
The displacement calculus	2011-04-05	Paper
On Anaphora and the Binding Principles in Categorial Grammar	2010-09-29	Paper
Dutch Grammar and Processing: A Case Study in TLG	2009-04-24	Paper
Proof Nets for Basic Discontinuous Lambek Calculus	2008-05-05	Paper
https://portal.mardi4nfdi.de/entity/Q4261734	1999-09-02	Paper
Grammar and logic*	1998-11-10	Paper
https://portal.mardi4nfdi.de/entity/Q4862312	1996-02-07	Paper
Clausal Proofs and Discontinuity	1995-12-13	Paper

This page was built for person: Glyn Morrill