@Article{ajdukiewicz1935syntaktische,
	title = {Die syntaktische Konnexität},
	author = {Ajdukiewicz, Kasimir},
	year = {1935},
	journal = {Studia Philosophica},
	pages = {1--27},
	volume = {1}
}

@Report{anoun2004proof,
	year = {2004},
	institution = {ESSLLI},
	type = {Technical},
	title = {Proof automation for type-logical grammars},
	author = {Anoun, Houda and Castéran, Pierre and Moot, Richard}
}

@Book{baker1988incorporation,
	year = {1988},
	publisher = {University of Chicago Press},
	title = {Incorporation: A Theory of Grammatical Function Changing},
	author = {Baker, Mark}
}

@Article{baker1990relativized,
	pages = {289--297},
	number = {6},
	volume = {21},
	year = {1990},
	journaltitle = {Linguistic Inquiry},
	title = {Relativized minimality and pronoun incorporation},
	author = {Baker, Mark and Hale, Kenneth}
}

@article{barhillel1953quasi,
	title = {A quasi-arithmetical notation for syntactic
                  description},
	author = {Bar-Hillel, Yehoshua},
	journal = {Language},
	volume = 29,
	number = 1,
	pages = {47--58},
	year = 1953
}

@Article{bresnan1987topic,
	pages = {741--782},
	number = {4},
	volume = {63},
	year = {1987},
	journaltitle = {Language},
	title = {Topic, pronoun, and agreement in Chicheŵa},
	author = {Bresnan, Joan and McHombo, Sam A.}
}

@InBook{bresnan2009gradience,
	year = {2009},
	pages = {161--184},
	booksubtitle = {Pattern Interaction in Language and Life},
	booktitle = {Reality Exploration and Discovery},
	publisher = {CSLI Publications},
	title = {The gradience of the dative alternation},
	editor = {Uyechi, L and {Hee Wee}, L},
	author = {Bresnan, Joan and Nikitina, Tatiana}
}

@Book{carnie2012syntax,
	publisher = {Blackwell Publishing},
	year = {2012},
	subtitle = {A Generative Introduction},
	title = {Syntax},
	author = {Carnie, Andrew}
}

@book{chomsky1957syntactic,
	title = {Syntactic structures},
	author = {Chomsky, Noam},
	year = 1957,
	publisher = {Mouton, The Hague}
}

@Book{chomsky1982some,
	publisher = {MIT Press},
	number = {6},
	series = {Linguistic Inquiry Monograph},
	year = {1982},
	title = {Some Concepts and Consequences of the Theory of Government and Binding},
	author = {Chomsky, Noam}
}

@Book{chomsky1986knowledge,
	publisher = {New York: Praeger
},
	year = {1986},
	title = {Knowledge of Language},
	author = {Chomsky, Noam}
}

@Book{chomsky1995minimalist,
	publisher = {MIT Press},
	year = {1995},
	title = {The Minimalist Program},
	author = {Chomsky, Noam}
}

@book{cinque1999adverbs,
	title = {Adverbs and functional heads: A cross-linguistic
                  perspective},
	author = {Cinque, Guglielmo},
	year = 1999,
	publisher = {Oxford University Press}
}

@Article{cinque2008cartography,
	pages = {42--58},
	volume = {2},
	year = {2008},
	journal = {Studies in Linguistics},
	title = {The cartography of syntactic structures},
	author = {Cinque, Guglielmo and Rizzi, Luigi}
}

@Book{culicover2005simpler,
	year = {2005},
	publisher = {Oxford University Press},
	title = {Simpler Syntax},
	author = {Culicover, Peter and Jackendoff, Ray}
}

@InProceedings{degroote2001towards,
	pages = {252--259},
	year = {2001},
	booktitle = {Proceedings of the 39th Annual Meeting of the Association for Computational Linguistics},
	title = {Towards abstract categorial grammars},
	author = {{de Groote}, Philippe}
}

@Book{desaussure2011course,
	year = {2011},
	publisher = {Columbia University Press},
	title = {Course in general linguistics},
	author = {{de Saussure}, Ferdinand}
}

@inproceedings{duan2015categorial,
	title = {A categorial analysis of Chinese alternative
                  questions},
	author = {Duan, Manjuan},
	booktitle = {Proceedings for the ESSLLI 2015 Workshop on
                  Empirical Advances in Categorial Grammar (CG 2015)},
	pages = {13--33},
	year = 2015
}

@inproceedings{flickinger1985structure,
	title = {Structure-sharing in lexical representation},
	author = {Flickinger, Daniel and Pollard, Carl and Wasow,
                  Thomas},
	booktitle = {Proceedings of the 23rd annual meeting on {A}ssociation for {C}omputational {L}inguistics},
	pages = {262--267},
	year = 1985,
	organization = {Association for Computational Linguistics}
}

@phdthesis{flickinger1987lexical,
	title = {Lexical rules in the hierarchical lexicon},
	author = {Flickinger, Daniel},
	year = 1987,
	school = {Stanford University}
}

@book{frantz1981grammatical,
	title = {Grammatical relations in universal grammar},
	author = {Frantz, Donald G},
	year = 1981,
	publisher = {Indiana University Linguistics Club}
}

@Book{gazdar1985generalized,
	publisher = {Harvard University Press},
	year = {1985},
	title = {Generalized Phrase Structure Grammar},
	author = {Gazdar, Gerald and Klein, Ewan and Pullum, Geoffrey and Sag, Ivan}
}

@article{givon1994pragmatics,
	title = {The pragmatics of de-transitive voice: Functional
                  and typological aspects of inversion},
	author = {Giv{\'o}n, Talmy},
	journal = {Voice and inversion},
	pages = {3--44},
	year = 1994,
	publisher = {Amsterdam: John Benjamins Publishing Company}
}

@article{hale1983warlpiri,
	title = {Warlpiri and the grammar of non-configurational
                  languages},
	author = {Hale, Ken},
	journal = {Natural Language \& Linguistic Theory},
	volume = 1,
	number = 1,
	pages = {5--47},
	year = 1983,
	publisher = {Springer}
}

@Book{hornstein2005understanding,
	publisher = {Cambridge University Press},
	year = {2005},
	title = {Understanding Minimalism},
	author = {Hornstein, Norbert and Nunes, Jairo and Grohmann, Kleanthes K.}
}

@Book{jackendoff2002foundations,
	publisher = {Oxford University Press},
	year = {2002},
	title = {Foundations of Language},
	author = {Jackendoff, Ray}
}

@article{jackendoff2008construction,
	jstor_articletype = {research-article},
	title = {'Construction after Construction' and Its
                  Theoretical Challenges},
	author = {Jackendoff, Ray},
	journal = {Language},
	volume = 84,
	number = 1,
	jstor_formatteddate = {Mar., 2008},
	pages = {8--28},
	url = {http://www.jstor.org/stable/40071010},
	ISSN = 00978507,
	abstract = {The English NPN construction, exemplified by
                  construction after construction, is productive with
                  five prepositions--by, for, to, after, and
                  upon--with a variety of meanings, including
                  succession, juxtaposition, and comparison; it also
                  has numerous idiomatic cases. This mixture of
                  regularity and idiosyncrasy lends itself to an
                  account in the spirit of construction grammar, in
                  which the lexicon includes specified syntactic
                  structures matched with meanings. The internal
                  syntactic structure of NPN violates standard
                  principles of phrase structure, and the required
                  identity of the two nouns (in most cases) presents
                  descriptive difficulties. Furthermore, when NPN
                  appears in NP positions, it can take normal NP
                  complements and modifiers, and it has
                  quantificational semantics despite the absence of a
                  lexical quantifier. These peculiarities collectively
                  present interesting challenges to linguistic
                  theory. The best hope lies in a theory of grammar
                  that (i) recognizes meaningful constructions as
                  theoretical entities; (ii) recognizes a continuum of
                  regularity between words and rules; and (iii)
                  recognizes the autonomy of syntax from semantics and
                  vice versa.},
	language = {English},
	year = 2008,
	publisher = {Linguistic Society of America},
	copyright = {Copyright © 2008 Linguistic Society of America}
}

@article{jelinek1984empty,
	title = {Empty categories, case, and configurationality},
	author = {Jelinek, Eloise},
	journal = {Natural Language \& Linguistic Theory},
	volume = 2,
	number = 1,
	pages = {39--76},
	year = 1984,
	publisher = {Springer}
}

@Thesis{kokke2016nlq,
	year = {2016},
	institution = {Utrecht University},
	type = {Master},
	subtitle = {A modular type-logical grammar for quantifier movement, scope islands, and more},
	title = {NLQ},
	author = {Kokke, Wen}
}

@phdthesis{kubota2010flexibility,
	title = {(In) flexibility of Constituency in Japanese in
                  Multi-Modal Categorial Grammar with Structured
                  Phonology},
	author = {Kubota, Yusuke},
	year = 2010,
	school = {The Ohio State University}
}

@phdthesis{kubota2010inflexibility,
	title = {(In) Flexibility of Constituency in Japanese in
                  Multi-Modal Categorial Grammar with Structured
                  Phonology.},
	author = {Kubota, Yusuke},
	year = 2010,
	school = {The Ohio State University}
}

@inproceedings{kubota2012gapping,
	title = {Gapping as like-category coordination},
	author = {Kubota, Yusuke and Levine, Robert},
	booktitle = {International Conference on Logical Aspects of
                  Computational Linguistics},
	pages = {135--150},
	year = 2012
}

@article{kubota2014logic,
	title = {The logic of complex predicates},
	author = {Kubota, Yusuke},
	journal = {Natural Language \& Linguistic Theory},
	volume = 32,
	number = 4,
	pages = {1145--1204},
	year = 2014
}

@Article{kubota2017pseudogapping,
	pages = {213--257},
	volume = {48},
	year = {2017},
	journaltitle = {Linguistic Inquiry},
	title = {Pseudogapping as pseudo-VP ellipsis},
	author = {Kubota, Yusuke and Levine, Robert}
}

@InProceedings{kubota2019underspecification,
	url = {https://www.asc.ohio-state.edu/levine.1/publications/Gothenburg2019.pdf},
	pages = {1--9},
	booktitle = {Proceedings of the IWCS 2019 Workshop on Computing Semantics with Types, Frames and Related Structures},
	year = {2019},
	title = {Underspecification and interpretive parallelism in Dependent Type Semantics},
	author = {Kubota, Yusuke and Mineshima, Koji and Levine, Robert and Bekki, Daisuke}
}

@Book{kubota2020type,
	publisher = {MIT Press},
	year = {2020},
	title = {Type-Logical Syntax},
	author = {Kubota, Yusuke and Levine, Robert D.}
}

@article{kuno1977empathy,
	title = {Empathy and syntax},
	author = {Kuno, Susumu and Kaburaki, Etsuko},
	journal = {Linguistic inquiry},
	pages = {627--672},
	year = 1977,
	publisher = {JSTOR}
}

@article{lambek1958mathematics,
	number = {3},
	volume = {65},
	title = {The mathematics of sentence structure},
	author = {Lambek, Joachim},
	journal = {American Mathematical Monthly},
	pages = {154--170},
	year = 1958,
	publisher = {JSTOR}
}

@inproceedings{lambek1997type,
	title = {Type grammar revisited},
	author = {Lambek, Joachim},
	booktitle = {International Conference on Logical Aspects of
                  Computational Linguistics},
	pages = {1--27},
	year = 1997,
	organization = {Springer}
}

@inbook{lambek1999type,
	author = {Lambek, Joachim},
	editor = "Lecomte, Alain and Lamarche, Fran{\c{c}}ois and
                  Perrier, Guy",
	title = "Type Grammar Revisited",
	bookTitle = "Logical Aspects of Computational Linguistics: Second
                  International Conference, LACL'97 Nancy, France,
                  September 22-24, 1997 Selected Papers",
	year = 1999,
	publisher = "Springer Berlin Heidelberg",
	address = "Berlin, Heidelberg",
	pages = "1--27",
	isbn = "978-3-540-48975-7",
	doi = "10.1007/3-540-48975-4_1",
	url = "http://dx.doi.org/10.1007/3-540-48975-4_1"
}

@article{lambek2001type,
	author = "Lambek, Joachim",
	title = "Type Grammars as Pregroups",
	journal = "Grammars",
	year = 2001,
	volume = 4,
	number = 1,
	pages = "21--39",
	issn = "1572-848X",
	doi = "10.1023/A:1011444711686",
	url = "http://dx.doi.org/10.1023/A:1011444711686"
}

@article{lockwood2012prominence,
	title = {Prominence hierarchies},
	author = {Lockwood, Hunter T and Macaulay, Monica},
	journal = {Language and Linguistics Compass},
	volume = 6,
	number = 7,
	pages = {431--446},
	year = 2012,
	publisher = {Wiley Online Library}
}

@Article{mccawley1970english,
	pages = {286--299},
	number = {2},
	volume = {46},
	year = {1970},
	journaltitle = {Language},
	title = {English as a {VSO} language},
	author = {Mc{C}awley, James}
}

@inproceedings{mcconville2006inheritance,
	author = "McConville, Mark",
	title = "Inheritance and the CCG Lexicon",
	booktitle = "11th Conference of the European Chapter of the
                  Association for Computational Linguistics",
	year = 2006,
	url = "http://aclweb.org/anthology/E06-1001"
}

@phdthesis{mihalicek2012serbo,
	title = {Serbo-Croatian word order: A logical approach},
	author = {Mihali{\v{c}}ek, Vedrana},
	year = 2012,
	school = {The Ohio State University}
}

@inproceedings{mihalivcek2012distinguishing,
	publisher = {Springer},
	editor = {{de Groote}, Philippe and Nederhof, Mark-Jan},
	title = {Distinguishing phenogrammar from tectogrammar
                  simplifies the analysis of interrogatives},
	author = {Mihali{\v{c}}ek, Vedrana and Pollard, Carl},
	booktitle = {Formal Grammar},
	pages = {130--145},
	year = 2012
}

@Unpublished{moot2014hybrid,
	url = {https://arxiv.org/pdf/1405.6678},
	year = {2014},
	title = {Hybrid type-logical grammars, first-order linear logic and the descriptive inadequacy of lambda grammars},
	author = {Moot, Richard}
}

@book{morrill2010categorial,
	title = {Categorial grammar: Logical syntax, semantics, and
                  processing},
	author = {Morrill, Glyn},
	year = 2010,
	publisher = {Oxford University Press}
}

@InBook{muskens2003language,
	pages = {23--53},
	booktitle = {Resource Sensitivity in Binding and Anaphora},
	year = {2003},
	publisher = {Kluwer},
	title = {Language, lambdas, and logic},
	editor = {Kruijff, Geert-Jan and Oehrle, Richard},
	author = {Muskens, Reinhard}
}

@Article{muskens2007separating,
	pages = {267--285},
	number = {3},
	volume = {5},
	year = {2007},
	journal = {Research on Language and Computation},
	title = {Separating syntax and combinatorics in categorial grammar},
	author = {Muskens, Reinhard}
}

@Article{needle2021embedding,
	journaltitle = {Journal of Logic, Language and Information},
	pubstate = {in press},
	year = {2021},
	title = {Embedding {HTLCG} into LCG$_\phi$},
	author = {Needle, Jordan}
}

@inproceedings{nguyen2012accurate,
	title = {Accurate Unbounded Dependency Recovery using
                  Generalized Categorial Grammars},
	author = {Luan Nguyen and Marten van Schijndel and William
                  Schuler},
	booktitle = {Proceedings of the 24th International Conference on
                  Computational Linguistics (COLING 2012)},
	year = 2012,
	location = {Mumbai, India}
}

@article{nichols1986head,
	title = {Head-marking and dependent-marking grammar},
	author = {Nichols, Johanna},
	journal = {Language},
	pages = {56--119},
	year = 1986,
	publisher = {JSTOR}
}

@article{oehrle1994term,
	title = {Term-labeled categorial type systems},
	author = {Oehrle, Richard T},
	journal = {Linguistics and Philosophy},
	volume = 17,
	number = 6,
	pages = {633--678},
	year = 1994,
	publisher = {Springer}
}

@article{perlmutter1983universal,
	title = {Toward a Universal Characterization of
                  Passivization},
	author = {Perlmutter, David M and Postal, Paul M},
	journal = {Studies in Relational Grammar 1},
	volume = 2,
	pages = 1,
	year = 1983,
	publisher = {University of Chicago Press}
}

@book{pollard1987information,
	title = {Information-based syntax and semantics},
	author = {Pollard, Carl and Sag, Ivan},
	journal = {CSLI Lecture Notes},
	volume = 13,
	year = 1987
}

@book{pollard1994head,
	title = {Head-driven phrase structure grammar},
	author = {Pollard, Carl and Sag, Ivan},
	year = 1994,
	publisher = {University of Chicago Press}
}

@inbook{pullum2010features,
	author = {Pullum, Geoffrey K and Tiede, Hans-Jorg},
	title = {Inessential features and expressive power of
                  descriptive metalanguages},
	booktitle = {Features: perspectives on a key notion in
                  linguistics.},
	editor = {Corbett, Greville G and Kibort, Anna},
	pages = {271--292},
	year = 2010,
	publisher = {Oxford University Press}
}

@article{shieber1985evidence,
	title = {Evidence against the context-freeness of natural
                  language},
	author = {Shieber, Stuart M},
	journal = {The Formal complexity of natural language},
	volume = 33,
	pages = {320--332},
	year = 1985,
	publisher = {Springer}
}

@book{steedman1996surface,
	title = {Surface Structure and Interpretation},
	author = {Steedman, Mark},
	year = 1996,
	publisher = {MIT Press},
	number = 30,
	seriestitle = {Linguistic Inquiry Monographs}
}

@book{steedman2000syntactic,
	title = {The syntactic process},
	author = {Steedman, Mark},
	year = 2000,
	publisher = {MIT Press}
}

@InBook{vanbenthem1988semantics,
	pages = {37--55},
	booktitle = {Categorial Grammar},
	author = {{van Benthem}, Johan},
	year = {1988},
	title = {The semantics of variety in categorial grammar}
}

@inproceedings{worth2014phenogrammar,
	title = {The Phenogrammar of Coordination},
	author = {Worth, Chris},
	booktitle = {Proceedings of the EACL 2014 Workshop on Type Theory
                  and Natural Language Semantics (TTNLS)},
	pages = {28--36},
	publisher = {Association for Computational Linguistics},
	year = 2014
}

@inproceedings{worth2015coordination,
	title = {Coordination in Linear Categorial Grammar with
                  Phenogrammatical Subtyping},
	author = {Pollard, Carl and Worth, Chris},
	booktitle = {Proceedings for the ESSLLI 2015 Workshop on
                  Empirical Advances in Categorial Grammar (CG 2015)},
	pages = {162--182},
	year = 2015
}

@phdthesis{worth2016english,
	title = {English Coordination in Linear Categorial Grammar},
	author = {Worth, Chris},
	year = 2016,
	school = {The Ohio State University}
}

@inproceedings{zwicky1977hierarchies,
	title = {Hierarchies of person},
	author = {Zwicky, Arnold M},
	booktitle = {Chicago Linguistics Society},
	volume = 13,
	pages = {714--733},
	year = 1977
}

@Comment{
Local Variables:
bibtex-dialect: biblatex
End:
}