Glyn Morrill

According to our database, Glyn Morrill authored at least 37 papers between 1988 and 2020.

Collaborative distances:

• Dijkstra number of four.
• Erdős number of three.

2020

Andre Scedrov.

Glyn Morrill

Proceedings of the Logic, 2020

2019

Parsing/Theorem-Proving for Logical Grammar CatLog3.

Glyn Morrill

J. Log. Lang. Inf., 2019

2018

Special issue on statistical and logical models of meaning.

Mehrnoosh Sadrzadeh, Glyn Morrill

J. Lang. Model., 2018

A Note on movement in logical grammar.

Glyn Morrill

J. Lang. Model., 2018

Spurious Ambiguity and Focalization.

Glyn Morrill, Oriol Valentín

Comput. Linguistics, 2018

Bracket Induction for Lambek Calculus with Bracket Modalities.

Glyn Morrill, Stepan L. Kuznetsov, Max I. Kanovich, Andre Scedrov

Proceedings of the Formal Grammar 2018 - 23rd International Conference, 2018

2017

A Polynomial-Time Algorithm for the Lambek Calculus with Brackets of Bounded Order.

Max I. Kanovich, Stepan L. Kuznetsov, Glyn Morrill, Andre Scedrov

Proceedings of the 2nd International Conference on Formal Structures for Computation and Deduction, 2017

Count-Invariance Including Exponentials.

Stepan L. Kuznetsov, Glyn Morrill, Oriol Valentín

Proceedings of the 15th Meeting on the Mathematics of Language, 2017

2016

On the Logic of Expansion in Natural Language.

Glyn Morrill, Oriol Valentín

Proceedings of the Logical Aspects of Computational Linguistics. Celebrating 20 Years of LACL (1996-2016), 2016

Overtly Anaphoric Control in Type Logical Grammar.

María Inés Corbalán, Glyn Morrill

Proceedings of the Formal Grammar - 20th and 21st International Conferences, 2016

2015

Multiplicative-Additive Focusing for Parsing as Deduction.

Glyn Morrill, Oriol Valentín

Proceedings of the Proceedings First International Workshop on Focusing, 2015

Computational Coverage of TLG: Nonlinearity.

Glyn Morrill, Oriol Valentín

Proceedings of the Third Workshop on Natural Language and Computer Science, 2015

2014

Displacement logic for anaphora.

Glyn Morrill, Oriol Valentín

J. Comput. Syst. Sci., 2014

Semantically Inactive Multiplicatives and Words as Types.

Glyn Morrill, Oriol Valentín

Proceedings of the Logical Aspects of Computational Linguistics, 2014

A Categorial Type Logic.

Glyn Morrill

Proceedings of the Categories and Types in Logic, Language, and Physics, 2014

2013

A Count Invariant for Lambek Calculus with Additives and Bracket Modalities.

Oriol Valentín, Daniel Serret, Glyn Morrill

Proceedings of the Formal Grammar, 2013

2011

The Displacement Calculus.

Glyn Morrill, Oriol Valentín, Mario Fadda

J. Log. Lang. Inf., 2011

Logic Programming of the Displacement Calculus.

Glyn Morrill

Proceedings of the Logical Aspects of Computational Linguistics, 2011

2010

Displacement Calculus

Glyn Morrill, Oriol Valentín

CoRR, 2010

On Anaphora and the Binding Principles in Categorial Grammar.

Glyn Morrill, Oriol Valentín

Proceedings of the Logic, 2010

On Calculus of Displacement.

Glyn Morrill, Oriol Valentín

Proceedings of the 10th International Workshop on Tree Adjoining Grammar and Related Frameworks, 2010

Generalized Discontinuity.

Glyn Morrill, Oriol Valentín

Proceedings of the Formal Grammar, 2010

2008

Proof Nets for Basic Discontinuous Lambek Calculus.

Glyn Morrill, Mario Fadda

J. Log. Comput., 2008

2007

Dutch Grammar and Processing: A Case Study in TLG.

Glyn Morrill, Oriol Valentín, Mario Fadda

Proceedings of the Logic, 2007

2005

Switch Graphs for Parsing Type Logical Grammars.

Bob Carpenter, Glyn Morrill

Proceedings of the Ninth International Workshop on Parsing Technology, 2005

2000

Incremental Processing and Acceptability.

Glyn Morrill

Comput. Linguistics, 2000

1999

Geometry of Lexico-Syntactic Interaction.

Glyn Morrill

Proceedings of the EACL 1999, 1999

1996

Generation as Deduction on Labelled Proof Nets.

Josep M. Merenciano, Glyn Morrill

Proceedings of the Logical Aspects of Computational Linguistics, 1996

1995

Clausal Proofs and Discontinuity.

Glyn Morrill

Log. J. IGPL, 1995

Higher-order Linear Logic Programming of Categorial Deduction.

Glyn Morrill

Proceedings of the EACL 1995, 1995

1994

Type logical grammar - categorial logic of signs.

Glyn Morrill

Kluwer, ISBN: 978-0-7923-3095-0, 1994

1993

Tuples, Discontinuity, and Gapping in Categorial Grammar.

Glyn Morrill, Teresa Solias

Proceedings of the Sixth Conference of the European Chapter of the Association for Computational Linguistics, 1993

1991

Proof Figures And Structural Operators For Categorial Grammar.

Guy Barry, Mark Hepple, Neil Leslie, Glyn Morrill

Proceedings of the EACL 1991, 1991

1990

Book reviews.

Norman M. Fraser, Mark Sebba, Glyn Morrill, Paul Bennett

Mach. Transl., 1990

1989

Parsing And Derivational Equivalence.

Mark Hepple, Glyn Morrill

Proceedings of the EACL 1989, 1989

1988

Book reviews.

Glyn Morrill, John S. White, Christoph Zähner, Graham Russell

Mach. Transl., 1988

Book reviews.

Glyn Morrill, Paul Bennett, Peter Lau, George Dunbar, Lee Fedder, Robert E. Frederking, Danny Jones, John S. White, Christoph Zähner, Graham Russell

Mach. Transl., 1988