Foundations and applications of Montague grammar / T.M.V. JanssenA mathematical model for the cat framework of Eurotra / Theo M.V. JanssenTowards a universal parsing algorithm for functional grammar / Theo M.V. JanssenModels for discourse markers / Theo M.V. JanssenOn restrictions on transformational grammars reducing the generative power : prepublication / Theo Janssen, Gerard Kok en Lambert MeertensAn arithmetization of van Wijngaarden grammar / T.M.V. JanssenAn algebraic view on Rosetta / Theo M.V. JanssenCompositionality / Theo M.V. JanssenIndependent choices and the interpretation of IF Logic / Theo JanssenSignalling in IF games: a tricky business / Theo M.V. Janssen, Francien DechesneIndependence and Hintikka games / Theo JanssenCompiler correctness and the translation of logics / Theo JanssenOn problems concerning the quantification in Montague grammar / by Theo M.V. JanssenLogical investigations on PTQ arising from programming requirements / T.M.V. JanssenSimulation of a Montague grammar / T. M. V. JanssenA computer program for PTQ and its logical reduction rules / T. M. V. JanssenOn the proper treatment of referencing, dereferencing and assignment / T.M.V. Janssen & P. van Emde BoasThe expressive power of intensional logic in the semantics of programming languages / T.M.V. Janssen & P. van Emde BoasFoundations and applications of Montague grammar / door Theodoor Maria Victor JanssenCompositionality of meaning in logic and computer science / by Theo M.V. Janssen and Peter van Emde BoasFoundations and applications of Montague grammar / T.M.V. JanssenFoundations and applications of Montague grammar / T.M.V. Janssen
author
Equivalence and quantier rules for logic with imperfect information / Xavier Caicedo, Francien Dechesne, Theo M.V. JanssenEach complete bipartite graph minus a matching is representable by line segments / P. van Emde Boas, T.M.V. Janssen & A. SchrijverFormal methods in the study of language / ed. by J.A.G. Groenendijk, T.M.V. Janssen, M.B.J. StokhofFormal methods in the study of language / J.A.G. GroenendijkFormal methods in the study of language / J.A.G. GroenendijkTruth, interpretation, and information : selected papers from the third Amsterdam colloquium / Jeroen Groenendijk, Theo M.V. Janssen, Martin Stokhof (eds.)