Glyn Morrill

Publication Activity (10 Years)

Years Active: 1988-2020
Publications (10 Years): 12

Top Topics

Automated Deduction

Logical Inference

Illumination Invariance

Probabilistic Context Free Grammars

Top Venues

J. Lang. Model.

Publications

Glyn Morrill
Andre Scedrov. Logic, Language, and Security (2020)
Glyn Morrill
Parsing/Theorem-Proving for Logical Grammar CatLog3. J. Log. Lang. Inf. 28 (2) (2019)
Glyn Morrill
A Note on movement in logical grammar. J. Lang. Model. 6 (2) (2018)
Glyn Morrill, Oriol Valentín
Spurious Ambiguity and Focalization. Comput. Linguistics 44 (2) (2018)
Mehrnoosh Sadrzadeh, Glyn Morrill
Special issue on statistical and logical models of meaning. J. Lang. Model. 6 (2) (2018)
Glyn Morrill, Stepan L. Kuznetsov, Max I. Kanovich, Andre Scedrov
Bracket Induction for Lambek Calculus with Bracket Modalities. FG (2018)
Max I. Kanovich, Stepan L. Kuznetsov, Glyn Morrill, Andre Scedrov
A polynomial time algorithm for the Lambek calculus with brackets of bounded order. CoRR (2017)
Stepan L. Kuznetsov, Glyn Morrill, Oriol Valentín
Count-Invariance Including Exponentials. MOL (2017)
Glyn Morrill, Oriol Valentín
Computational Coverage of TLG: Nonlinearity. CoRR (2017)
Max I. Kanovich, Stepan L. Kuznetsov, Glyn Morrill, Andre Scedrov
A Polynomial-Time Algorithm for the Lambek Calculus with Brackets of Bounded Order. FSCD (2017)
María Inés Corbalán, Glyn Morrill
Overtly Anaphoric Control in Type Logical Grammar. FG (2016)
Glyn Morrill, Oriol Valentín
On the Logic of Expansion in Natural Language. LACL (2016)
Glyn Morrill, Oriol Valentín
Computational Coverage of TLG: Nonlinearity. NLCS@ICALP/LICS (2015)
Glyn Morrill, Oriol Valentín
Multiplicative-Additive Focusing for Parsing as Deduction. WoF'15 (2015)
Glyn Morrill
A Categorial Type Logic. Categories and Types in Logic, Language, and Physics (2014)
Glyn Morrill, Oriol Valentín
Displacement logic for anaphora. J. Comput. Syst. Sci. 80 (2) (2014)
Glyn Morrill, Oriol Valentín
Semantically Inactive Multiplicatives and Words as Types. LACL (2014)
Oriol Valentín, Daniel Serret, Glyn Morrill
A Count Invariant for Lambek Calculus with Additives and Bracket Modalities. FG (2013)
Glyn Morrill, Oriol Valentín, Mario Fadda
The Displacement Calculus. J. Log. Lang. Inf. 20 (1) (2011)
Glyn Morrill
Logic Programming of the Displacement Calculus. LACL (2011)
Glyn Morrill, Oriol Valentín
Generalized Discontinuity. FG (2010)
Glyn Morrill, Oriol Valentín
On Calculus of Displacement. TAG (2010)
Glyn Morrill, Oriol Valentín
On Anaphora and the Binding Principles in Categorial Grammar. WoLLIC (2010)
Glyn Morrill, Oriol Valentín
Displacement Calculus CoRR (2010)
Glyn Morrill, Mario Fadda
Proof Nets for Basic Discontinuous Lambek Calculus. J. Log. Comput. 18 (2) (2008)
Glyn Morrill, Oriol Valentín, Mario Fadda
Dutch Grammar and Processing: A Case Study in TLG. TbiLLC (2007)
Bob Carpenter, Glyn Morrill
Switch Graphs for Parsing Type Logical Grammars. IWPT (2005)
Glyn Morrill
Incremental Processing and Acceptability. Comput. Linguistics 26 (3) (2000)
Glyn Morrill
Geometry of Lexico-Syntactic Interaction. EACL (1999)
Josep M. Merenciano, Glyn Morrill
Generation as Deduction on Labelled Proof Nets. LACL (1996)
Glyn Morrill
Higher-order Linear Logic Programming of Categorial Deduction. EACL (1995)
Glyn Morrill
Higher-order Linear Logic Programming of Categorial Deduction CoRR (1995)
Glyn Morrill
Clausal Proofs and Discontinuity. Log. J. IGPL 3 (2-3) (1995)
Glyn Morrill, Teresa Solias
Tuples, Discontinuity, and Gapping in Categorial Grammar. EACL (1993)
Guy Barry, Mark Hepple, Neil Leslie, Glyn Morrill
Proof Figures And Structural Operators For Categorial Grammar. EACL (1991)
Norman M. Fraser, Mark Sebba, Glyn Morrill, Paul Bennett
Book reviews. Mach. Transl. 5 (2) (1990)
Mark Hepple, Glyn Morrill
Parsing And Derivational Equivalence. EACL (1989)
Glyn Morrill, John S. White, Christoph Zähner, Graham Russell
Book reviews. Mach. Transl. 3 (3-4) (1988)
Glyn Morrill, Paul Bennett, Peter Lau, George Dunbar, Lee Fedder, Robert E. Frederking, Danny Jones, John S. White, Christoph Zähner, Graham Russell
Book reviews. Mach. Transl. 3 (2) (1988)