default search action
Google
Google Scholar
Semantic Scholar
Internet Archive Scholar
CiteSeerX
ORCIDGlyn Morrill
Person information
Refine list
refinements active!
zoomed in on ?? of ?? records
view refined list in
export refined list as
Books and Theses
- 1994
[b1]Glyn Morrill:
Type logical grammar - categorial logic of signs. Kluwer 1994, ISBN 978-0-7923-3095-0, pp. I-XIV, 1-307
Journal Articles
- 2019
- [j12]Glyn Morrill
:
Parsing/Theorem-Proving for Logical Grammar CatLog3. J. Log. Lang. Inf. 28(2): 183-216 (2019) - 2018
- [j11]Glyn Morrill, Oriol Valentín:
Spurious Ambiguity and Focalization. Comput. Linguistics 44(2) (2018) - [j10]Mehrnoosh Sadrzadeh, Glyn Morrill:
Special issue on statistical and logical models of meaning. J. Lang. Model. 6(2): 223-224 (2018) - [j9]Glyn Morrill:
A Note on movement in logical grammar. J. Lang. Model. 6(2): 353-363 (2018) - 2014
- [j8]Glyn Morrill, Oriol Valentín:
Displacement logic for anaphora. J. Comput. Syst. Sci. 80(2): 390-409 (2014) - 2011
- [j7]Glyn Morrill, Oriol Valentín, Mario Fadda:
The Displacement Calculus. J. Log. Lang. Inf. 20(1): 1-48 (2011) - 2008
- [j6]Glyn Morrill, Mario Fadda:
Proof Nets for Basic Discontinuous Lambek Calculus. J. Log. Comput. 18(2): 239-256 (2008) - 2000
- [j5]Glyn Morrill:
Incremental Processing and Acceptability. Comput. Linguistics 26(3): 319-338 (2000) - 1995
- [j4]Glyn Morrill:
Clausal Proofs and Discontinuity. Log. J. IGPL 3(2-3): 403-427 (1995) - 1990
- [j3]Norman M. Fraser, Mark Sebba, Glyn Morrill, Paul Bennett:
Book reviews. Mach. Transl. 5(2): 181-183 (1990) - 1988
- [j2]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): 251-297 (1988) - [j1]Glyn Morrill, John S. White, Christoph Zähner, Graham Russell:
Book reviews. Mach. Transl. 3(3-4): 251-297 (1988)
Conference and Workshop Papers
- 2020
- [c23]Glyn Morrill:
Andre Scedrov. Logic, Language, and Security 2020: 187-188 - 2018
- [c22]Glyn Morrill, Stepan L. Kuznetsov, Max I. Kanovich, Andre Scedrov:
Bracket Induction for Lambek Calculus with Bracket Modalities. FG 2018: 84-101 - 2017
- [c21]Stepan L. Kuznetsov, Glyn Morrill, Oriol Valentín:
Count-Invariance Including Exponentials. MOL 2017: 128-139 - [c20]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: 22:1-22:17 - 2016
- [c19]María Inés Corbalán, Glyn Morrill:
Overtly Anaphoric Control in Type Logical Grammar. FG 2016: 183-199 - [c18]Glyn Morrill, Oriol Valentín:
On the Logic of Expansion in Natural Language. LACL 2016: 228-246 - 2015
- [c17]Glyn Morrill, Oriol Valentín:
Computational Coverage of TLG: Nonlinearity. NLCS@ICALP/LICS 2015: 51-63 - [c16]Glyn Morrill, Oriol Valentín:
Multiplicative-Additive Focusing for Parsing as Deduction. WoF'15 2015: 29-54 - 2014
- [c15]Glyn Morrill:
A Categorial Type Logic. Categories and Types in Logic, Language, and Physics 2014: 331-352 - [c14]Glyn Morrill, Oriol Valentín:
Semantically Inactive Multiplicatives and Words as Types. LACL 2014: 149-162 - 2013
- [c13]Oriol Valentín, Daniel Serret, Glyn Morrill:
A Count Invariant for Lambek Calculus with Additives and Bracket Modalities. FG 2013: 263-276 - 2011
- [c12]Glyn Morrill:
Logic Programming of the Displacement Calculus. LACL 2011: 175-189 - 2010
- [c11]Glyn Morrill, Oriol Valentín:
Generalized Discontinuity. FG 2010: 146-161 - [c10]Glyn Morrill, Oriol Valentín:
On Calculus of Displacement. TAG 2010: 45-52 - [c9]Glyn Morrill, Oriol Valentín:
On Anaphora and the Binding Principles in Categorial Grammar. WoLLIC 2010: 176-190 - 2007
- [c8]Glyn Morrill, Oriol Valentín, Mario Fadda:
Dutch Grammar and Processing: A Case Study in TLG. TbiLLC 2007: 272-286 - 2005
- [c7]Bob Carpenter, Glyn Morrill:
Switch Graphs for Parsing Type Logical Grammars. IWPT 2005: 18-29 - 1999
- [c6]Glyn Morrill:
Geometry of Lexico-Syntactic Interaction. EACL 1999: 61-70 - 1996
- [c5]Josep M. Merenciano, Glyn Morrill:
Generation as Deduction on Labelled Proof Nets. LACL 1996: 310-328 - 1995
- [c4]Glyn Morrill:
Higher-order Linear Logic Programming of Categorial Deduction. EACL 1995: 133-140 - 1993
- [c3]Glyn Morrill, Teresa Solias:
Tuples, Discontinuity, and Gapping in Categorial Grammar. EACL 1993: 287-296 - 1991
- [c2]Guy Barry, Mark Hepple, Neil Leslie, Glyn Morrill:
Proof Figures And Structural Operators For Categorial Grammar. EACL 1991: 198-203 - 1989
- [c1]Mark Hepple, Glyn Morrill:
Parsing And Derivational Equivalence. EACL 1989: 10-18
Editorship
- 2016
- [e4]Annie Foret, Glyn Morrill, Reinhard Muskens, Rainer Osswald, Sylvain Pogodalla:
Formal Grammar - 20th and 21st International Conferences, FG 2015, Barcelona, Spain, August 2015, Revised Selected Papers. FG 2016, Bozen, Italy, August 2016, Proceedings. Lecture Notes in Computer Science 9804, Springer 2016, ISBN 978-3-662-53041-2 [contents] - 2014
- [e3]Glyn Morrill, Reinhard Muskens, Rainer Osswald, Frank Richter:
Formal Grammar - 19th International Conference, FG 2014, Tübingen, Germany, August 16-17, 2014. Proceedings. Lecture Notes in Computer Science 8612, Springer 2014, ISBN 978-3-662-44120-6 [contents] - 2013
- [e2]Glyn Morrill, Mark-Jan Nederhof:
Formal Grammar - 17th and 18th International Conferences, FG 2012, Opole, Poland, August 2012, Revised Selected Papers, FG 2013, Düsseldorf, Germany, August 2013. Proceedings. Lecture Notes in Computer Science 8036, Springer 2013, ISBN 978-3-642-39997-8 [contents] - 2001
- [e1]Philippe de Groote, Glyn Morrill, Christian Retoré:
Logical Aspects of Computational Linguistics, 4th International Conference, LACL 2001, Le Croisic, France, June 27-29, 2001, Proceedings. Lecture Notes in Computer Science 2099, Springer 2001, ISBN 3-540-42273-0 [contents]
Informal and Other Publications
- 2017
- [i4]Max I. Kanovich, Stepan L. Kuznetsov, Glyn Morrill, Andre Scedrov:
A polynomial time algorithm for the Lambek calculus with brackets of bounded order. CoRR abs/1705.00694 (2017) - [i3]Glyn Morrill, Oriol Valentín:
Computational Coverage of TLG: Nonlinearity. CoRR abs/1706.03033 (2017) - 2010
- [i2]Glyn Morrill, Oriol Valentín:
Displacement Calculus. CoRR abs/1004.4181 (2010) - 1995
- [i1]Glyn Morrill:
Higher-order Linear Logic Programming of Categorial Deduction. CoRR cmp-lg/9502016 (1995)
Coauthor Index
manage site settings
To protect your privacy, all features that rely on external API calls from your browser are turned off by default. You need to opt-in for them to become active. All settings here will be stored as cookies with your web browser. For more information see our F.A.Q.
Unpaywalled article links
Add open access links from 
to the list of external document links (if available).
Privacy notice: By enabling the option above, your browser will contact the API of unpaywall.org to load hyperlinks to open access articles. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the Unpaywall privacy policy.
Archived links via Wayback Machine
For web page which are no longer available, try to retrieve content from the 
of the Internet Archive (if available).
Privacy notice: By enabling the option above, your browser will contact the API of archive.org to check for archived content of web pages that are no longer available. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the Internet Archive privacy policy.
Reference lists
Add a list of references from 
, 
, and 
to record detail pages.
load references from crossref.org and opencitations.net
Privacy notice: By enabling the option above, your browser will contact the APIs of crossref.org, opencitations.net, and semanticscholar.org to load article reference information. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the Crossref privacy policy and the OpenCitations privacy policy, as well as the AI2 Privacy Policy covering Semantic Scholar.
Citation data
Add a list of citing articles from and to record detail pages.
load citations from opencitations.net
Privacy notice: By enabling the option above, your browser will contact the API of opencitations.net and semanticscholar.org to load citation information. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the OpenCitations privacy policy as well as the AI2 Privacy Policy covering Semantic Scholar.
OpenAlex data
Load additional information about publications from 
.
Privacy notice: By enabling the option above, your browser will contact the API of openalex.org to load additional information. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the information given by OpenAlex.
last updated on 2024-08-05 21:15 CEST by the dblp team
all metadata released as open data under CC0 1.0 license
see also: Terms of Use | Privacy Policy | Imprint
dblp was originally created in 1993 at:
since 2018, dblp has been operated and maintained by:
the dblp computer science bibliography is funded and supported by:
