Andrews P. B. (1986) An introduction to mathematical logic and type theory: To truth through proof. Academic Press, Orlando

Bloomfield L. (1933) Language. Allen and Unwin, London

Buszkowski W., Penn G. (1990) Categorial grammars determined from linguistic data by unification. Studia Logica 49: 431–454

CrossRefChen J., Bangalore S., Vijay-Shanker K. (2006) Automated extraction of tree-adjoining grammars from treebanks. Natural Language Engineering 12(3): 251–299

CrossRefChurch A. (1940) A formulation of a simple theory of types. Journal of Symbolic Logic 5: 56–68

CrossRefDunn J. M. (1993) Partial gaggles applied to logics with restricted structural rules. In: Došen K., Schroeder-Heister P. (eds) Substructural logics. Oxford University Press, Oxford, pp 63–108

Fulop, S. A. (2003). Discovering a new class of languages. In *Proceedings of mathematics of language 8*. Available online at the MOL website.

Fulop S. A. (2004) On the logic and learning of language. Trafford, Victoria

Fulop S. A. (2005) Semantic bootstrapping of type-logical grammar. Journal of Logic, Language, and Information 14(1): 49–86

CrossRefGalatos N., Jipsen P., Kowalski T., Ono H. (2007) Residuated lattices: An algebraic glimpse at substructural logics. Elsevier, Amsterdam

Gentzen, G. (1934) Untersuchungen über das logische Schliessen. *Mathematical Zeitschrift 39*, 176–210, 405–431. English translation in (Szabo, 1969).

Gold E. M. (1967) Language identification in the limit. Information and Control 10: 447–474

CrossRefHindley J. R. (1997) Basic simple type theory. Cambridge University Press, Cambridge

CrossRefHoward W. A. (1980) The formulas-as-types notion of construction. In: Seldin J. P., Hindley J. R. (eds) To H.B. Curry: Essays on combinatory logic, lambda calculus and formalism. Academic Press, New York, pp 479–490

Husserl, E. (1913) Logische Untersuchungen, Vol. II. Halle: M. Niemeyer, 2nd German edition. Investigation IV: The distinction between independent and non-independent meanings and the idea of pure grammar, from the 1970 English edition translated by J. N. Findlay.

Joshi, A. K. (1983) Factoring recursion and dependencies: An aspect of tree adjoining grammars (TAG) and a comparison of some formal properties of TAGs, GPSGs, PLGs, and LPGs. In *21st Annual meeting of the association for computational linguistics*, (pp. 7–15).

Kanazawa, M. (1998). *Learnable classes of categorial grammars, studies in logic, language and information*. Stanford, CA.: CSLI Publications and the European Association for Logic, Language and Information.

Klein, D. (2005) The unsupervised learning of natural language structure. Ph.D. thesis, Stanford University.

Klein, D., Manning, C. D. (2002) A generative constituent-contex model for improved grammar induction. In *40th Annual meeting of the association for computational linguistics*, ACL, (pp. 128–135).

Lambek J. (1961) On the calculus of syntactic types. In: Jakobson R. (eds) Structure of language and its mathematical aspects. American Mathematical Society, Providence, RI, pp 166–178

Lange S., Nessel J., Wiehagen R. (1994) Language learning from good examples. In: Arikawa S., Jantke K. P. (eds) Algorithmic learning theory, Vol 872 of lecture notes in artificial intelligence. Springer, Berlin, pp 423–437

Moortgat M. (1997) Categorial Type Logics. In: Benthem J., ter Meulen A. (eds) Handbook of logic and language. Elsevier, Amsterdam

Moortgat, M. (1999) Meaningful patterns. In: J. Gerbrandy, M. Marx, M. de Rijke, Y. Venema (Eds.),

*JFAK: Essays dedicated to Johan van Benthem on the occasion of his 50th birthday*. Institute for Logic, Language, and Computation, University of Amsterdam. Available on CD-ROM at

http://turing.wins.uva.nl.

Moot, R. (2002) Proof nets for linguistic analysis. Ph.D. thesis, Utrecht University.

Pinker S. (1984) Language learnability and language development. Harvard University Press, Cambridge

Radford A. (1988) Transformational grammar. Cambridge University Press, Cambridge

Siskind, J. M. (1991) Naive physics, event perception, lexical semantics and language acquisition. In *Proceedings of the AAAI spring symposium workshop on machine learning of natural language and ontology*, (pp. 165–168).

Siskind J. M. (1996) A computational study of cross-situational techniques for learning word-to-meaning mappings. Cognition 61: 39–91

CrossRefSzabo M. (1969) The collected papers of Gerhard Gentzen. North-Holland, Amsterdam

van Benthem J. (1991) Language in action. North-Holland, Amsterdam

Wansing H. (1992) Formulas-as-types for a hierarchy of sublogics of intuitionist propositional logic. In: Pearce D., Wansing H. (eds) Non-classical logics and information processing, Vol. 619 of lecture notes in artificial intelligence. Springer, Berlin, pp 125–145

Wells R. S. (1947) Immediate constituents. Language 83: 81–117

CrossRef