Ajdukiewicz, K. (1935), 'Die syntaktische Konnexität', Studies in Philosophy 1, 1-27.
Carpenter, B. (1998), Type-logical semantics, MIT Press.
Church, A. (1940), A formulation of the simple theory of types, Journal of Symbolic Logic 5, 56-68.
Curry, H. B. & Feys, R. (1958), Combinatory Logic, Volume I.
Girard, J.-Y. (1987), Linear Logic, Theoretical Computer Science 50(1), 1-102.
Montague, R. (1970), English as a formal language, in Bruno Visentini (ed) Linguaggi nelle società e nella tecnica, Milan, 189-223. Reprinted in Thomason (1974).
Montague, R. (1973), The proper treatment of quantification in ordinary English, in Hintikka, J., Moravcisk, J. & Suppes, P. (eds) Approaches to Natural Language, 221-242. Reprinted in Thomason (1974).
Partee, B., ter Meulen, A. & Wall, R. (1990), Mathematical Methods in Linguistics, Kluwer.
Pentus, M. (2006), 'Lambek calculus is NP complete', Theoretical Computer Science 357(1), 186-201.
Thomason, R. (1974), editor, Formal philosophy. Selected papers by Richard Montague, New Haven.
.
Last modified: Thu Oct 20 17:45:26 CEST 2011