Glyn Morrill

From MaRDI portal



List of research outcomes

This list is not complete and representing at the moment only items from zbMATH Open and arXiv. We are working on additional sources - please check back here soon!

PublicationDate of PublicationType
Bracket induction for Lambek calculus with bracket modalities
Formal Grammar 2018
2023-06-12Paper
Andre scedrov2021-07-08Paper
scientific article; zbMATH DE number 7204441 (Why is no real title available?)
(available as arXiv preprint)
2020-05-26Paper
Parsing/theorem-proving for logical grammar \textit{CatLog3}
Journal of Logic, Language and Information
2019-06-26Paper
Count-invariance including exponentials2017-12-18Paper
On the logic of expansion in natural language
Logical Aspects of Computational Linguistics. Celebrating 20 Years of LACL (1996–2016)
2017-02-22Paper
Overtly anaphoric control in type logical grammar
Formal Grammar
2016-12-01Paper
Semantically Inactive Multiplicatives and Words as Types
Logical Aspects of Computational Linguistics
2014-06-24Paper
A categorial type logic
Lecture Notes in Computer Science
2014-05-08Paper
Displacement logic for anaphora
Journal of Computer and System Sciences
2013-12-13Paper
A count invariant for Lambek calculus with additives and bracket modalities
Formal Grammar
2013-08-07Paper
Generalized discontinuity
Formal Grammar
2012-11-02Paper
Logic programming of the displacement calculus
Logical Aspects of Computational Linguistics
2011-07-01Paper
The displacement calculus
Journal of Logic, Language and Information
2011-04-05Paper
On Anaphora and the Binding Principles in Categorial Grammar
Logic, Language, Information and Computation
2010-09-29Paper
Dutch Grammar and Processing: A Case Study in TLG
Logic, Language, and Computation
2009-04-24Paper
Proof Nets for Basic Discontinuous Lambek Calculus
Journal Of Logic And Computation
2008-05-05Paper
scientific article; zbMATH DE number 1331928 (Why is no real title available?)1999-09-02Paper
Grammar and logic*
Theoria
1998-11-10Paper
scientific article; zbMATH DE number 842687 (Why is no real title available?)1996-02-07Paper
Clausal Proofs and Discontinuity
Logic Journal of the IGPL
1995-12-13Paper


Research outcomes over time


This page was built for person: Glyn Morrill