Glyn Morrill


2018

pdf bib
Spurious Ambiguity and Focalization
Glyn Morrill | Oriol Valentín
Computational Linguistics, Volume 44, Issue 2 - June 2018

Spurious ambiguity is the phenomenon whereby distinct derivations in grammar may assign the same structural reading, resulting in redundancy in the parse search space and inefficiency in parsing. Understanding the problem depends on identifying the essential mathematical structure of derivations. This is trivial in the case of context free grammar, where the parse structures are ordered trees; in the case of type logical categorial grammar, the parse structures are proof nets. However, with respect to multiplicatives, intrinsic proof nets have not yet been given for displacement calculus, and proof nets for additives, which have applications to polymorphism, are not easy to characterize. In this context we approach here multiplicative-additive spurious ambiguity by means of the proof-theoretic technique of focalization.

2017

pdf bib
Count-Invariance Including Exponentials
Stepan Kuznetsov | Glyn Morrill | Oriol Valentín
Proceedings of the 15th Meeting on the Mathematics of Language

2010

pdf bib
On Calculus of Displacement
Glyn Morrill | Oriol Valentín
Proceedings of the 10th International Workshop on Tree Adjoining Grammar and Related Frameworks (TAG+10)

2005

pdf bib
Switch Graphs for Parsing Type Logical Grammars
Bob Carpenter | Glyn Morrill
Proceedings of the Ninth International Workshop on Parsing Technology

2000

pdf bib
Incremental processing and acceptability
Glyn Morrill
Computational Linguistics, Volume 26, Number 3, September 2000

1999

pdf bib
Geometry of Lexico-Syntactic Interaction
Glyn Morrill
Ninth Conference of the European Chapter of the Association for Computational Linguistics

1995

pdf bib
Higher-order Linear Logic Programming of Categorial Deduction
Glyn Morrill
Seventh Conference of the European Chapter of the Association for Computational Linguistics

1993

pdf bib
Tuples, Discontinuity, and Gapping in Categorial Grammar
Glyn Morrill | Teresa Solias
Sixth Conference of the European Chapter of the Association for Computational Linguistics

1991

pdf bib
Proof Figures and Structural Operators for Categorial Grammar
Guy Barry | Mark Hepple | Neil Leslie | Glyn Morrill
Fifth Conference of the European Chapter of the Association for Computational Linguistics

1989

pdf bib
Parsing and Derivational Equivalence
Mark Hepple | Glyn Morrill
Fourth Conference of the European Chapter of the Association for Computational Linguistics