Glyn Morrill - RankMe

44 papers A 5B 8C 1Journal 16Unranked 12

Year	Rank	Type	Title / Venue / Authors
2020	—	`conf`	Andre Scedrov. Logic, Language, and Security Glyn Morrill
2019	J	`jnl`	Parsing/Theorem-Proving for Logical Grammar CatLog3. J. Log. Lang. Inf. Glyn Morrill
2018	J	`jnl`	A Note on movement in logical grammar. J. Lang. Model. Glyn Morrill
2018	B	`conf`	Bracket Induction for Lambek Calculus with Bracket Modalities. FG Glyn Morrill, Stepan L. Kuznetsov, Max I. Kanovich, Andre Scedrov
2018	J	`jnl`	Special issue on statistical and logical models of meaning. J. Lang. Model. Mehrnoosh Sadrzadeh, Glyn Morrill
2018	J	`jnl`	Spurious Ambiguity and Focalization. Comput. Linguistics Glyn Morrill, Oriol Valentín
2017	B	`conf`	A Polynomial-Time Algorithm for the Lambek Calculus with Brackets of Bounded Order. FSCD Max I. Kanovich, Stepan L. Kuznetsov, Glyn Morrill, Andre Scedrov
2017	J	`jnl`	A polynomial time algorithm for the Lambek calculus with brackets of bounded order. CoRR Max I. Kanovich, Stepan L. Kuznetsov, Glyn Morrill, Andre Scedrov
2017	J	`jnl`	Computational Coverage of TLG: Nonlinearity. CoRR Glyn Morrill, Oriol Valentín
2017	—	`conf`	Count-Invariance Including Exponentials. MOL Stepan L. Kuznetsov, Glyn Morrill, Oriol Valentín
2016	B	`ed.`	Formal Grammar - 20th and 21st International Conferences, FG 2015, Barcelona, Spain, August 2015, Revised Selected Papers. FG 2016, Bozen, Italy, August 2016, Proceedings FG Annie Foret, Glyn Morrill, Reinhard Muskens, Rainer Osswald, Sylvain Pogodalla
2016	—	`conf`	On the Logic of Expansion in Natural Language. LACL Glyn Morrill, Oriol Valentín
2016	B	`conf`	Overtly Anaphoric Control in Type Logical Grammar. FG María Inés Corbalán, Glyn Morrill
2015	—	`conf`	Computational Coverage of TLG: Nonlinearity. NLCS@ICALP/LICS Glyn Morrill, Oriol Valentín
2015	—	`conf`	Multiplicative-Additive Focusing for Parsing as Deduction. WoF'15 Glyn Morrill, Oriol Valentín
2014	—	`conf`	A Categorial Type Logic. Categories and Types in Logic, Language, and Physics Glyn Morrill
2014	J	`jnl`	Displacement logic for anaphora. J. Comput. Syst. Sci. Glyn Morrill, Oriol Valentín
2014	B	`ed.`	Formal Grammar - 19th International Conference, FG 2014, Tübingen, Germany, August 16-17, 2014. Proceedings FG Glyn Morrill, Reinhard Muskens, Rainer Osswald, Frank Richter
2014	—	`conf`	Semantically Inactive Multiplicatives and Words as Types. LACL Glyn Morrill, Oriol Valentín
2013	B	`conf`	A Count Invariant for Lambek Calculus with Additives and Bracket Modalities. FG Oriol Valentín, Daniel Serret, Glyn Morrill
2013	B	`ed.`	Formal Grammar - 17th and 18th International Conferences, FG 2012, Opole, Poland, August 2012, Revised Selected Papers, FG 2013, Düsseldorf, Germany, August 2013. Proceedings FG Glyn Morrill, Mark-Jan Nederhof
2011	—	`conf`	Logic Programming of the Displacement Calculus. LACL Glyn Morrill
2011	J	`jnl`	The Displacement Calculus. J. Log. Lang. Inf. Glyn Morrill, Oriol Valentín, Mario Fadda
2010	J	`jnl`	Displacement Calculus CoRR Glyn Morrill, Oriol Valentín
2010	B	`conf`	Generalized Discontinuity. FG Glyn Morrill, Oriol Valentín
2010	C	`conf`	On Anaphora and the Binding Principles in Categorial Grammar. WoLLIC Glyn Morrill, Oriol Valentín
2010	—	`conf`	On Calculus of Displacement. TAG Glyn Morrill, Oriol Valentín
2008	J	`jnl`	Proof Nets for Basic Discontinuous Lambek Calculus. J. Log. Comput. Glyn Morrill, Mario Fadda
2007	—	`conf`	Dutch Grammar and Processing: A Case Study in TLG. TbiLLC Glyn Morrill, Oriol Valentín, Mario Fadda
2005	—	`conf`	Switch Graphs for Parsing Type Logical Grammars. IWPT Bob Carpenter, Glyn Morrill
2001	—	`ed.`	Logical Aspects of Computational Linguistics, 4th International Conference, LACL 2001, Le Croisic, France, June 27-29, 2001, Proceedings LACL Philippe de Groote, Glyn Morrill, Christian Retoré
2000	J	`jnl`	Incremental Processing and Acceptability. Comput. Linguistics Glyn Morrill
1999	A	`conf`	Geometry of Lexico-Syntactic Interaction. EACL Glyn Morrill
1996	—	`conf`	Generation as Deduction on Labelled Proof Nets. LACL Josep M. Merenciano, Glyn Morrill
1995	J	`jnl`	Clausal Proofs and Discontinuity. Log. J. IGPL Glyn Morrill
1995	J	`jnl`	Higher-order Linear Logic Programming of Categorial Deduction CoRR Glyn Morrill
1995	A	`conf`	Higher-order Linear Logic Programming of Categorial Deduction. EACL Glyn Morrill
1994	—	`book`	Type logical grammar - categorial logic of signs. Glyn Morrill
1993	A	`conf`	Tuples, Discontinuity, and Gapping in Categorial Grammar. EACL Glyn Morrill, Teresa Solias
1991	A	`conf`	Proof Figures And Structural Operators For Categorial Grammar. EACL Guy Barry, Mark Hepple, Neil Leslie, Glyn Morrill
1990	J	`jnl`	Book reviews. Mach. Transl. Norman M. Fraser, Mark Sebba, Glyn Morrill, Paul Bennett
1989	A	`conf`	Parsing And Derivational Equivalence. EACL Mark Hepple, Glyn Morrill
1988	J	`jnl`	Book reviews. Mach. Transl. Glyn Morrill, Paul Bennett, Peter Lau, George Dunbar, Lee Fedder, Robert E. Frederking, Danny Jones, John S. White, Christoph Zähner, Graham Russell
1988	J	`jnl`	Book reviews. Mach. Transl. Glyn Morrill, John S. White, Christoph Zähner, Graham Russell