Janssen, T.M.V. (1998) Correctness and Algebraic Compiler Construction.

Chicago Journal of Theoretical Computer Science (pp 25-56)

Article | UvA-DARE

Janssen, T.M.V. (1998) A survey of compositional translations.

In Langmaack, H. de Roever, W-P. Pnueli, A. (Eds.), Lecture notes in computer science (pp 327-349) (-). Springer.

Janssen, T.M.V. (1999) Historical mistakes on the Fregean revolution in philosophy of language. In Jelle Gerbrandy, Maarten Marx, Maarten de Rijke, and Yde Venema, editors, JFAK. Essays Dedicated to Johan van Benthem on the Occasion of his 50th Birthday.

Vossiuspers - Amsterdam University Press.

Digital or Visual Products | UvA-DARE

Janssen, T.M.V. (1999) On the interpretation of if-logic.

In Dekker, P. (Eds.), Proceedings Twelfth Amsterdam Colloquium (pp 139-144). ILLC.

Janssen, T.M.V. (2000) An algebraic approach to grammatical theories for natural language.

In Nijholt, A. Heylen, D. Scollo, G.S. (Eds.), Algebraic Methods in Language Processing. Proceedings 16th Twente workshop on language technology, Iowa City, USA, May 2000 (pp 67-73). Computer Science.

Janssen, T.M.V. (2001) On the definition of independence in logic.

In Sandu, G. Pauly, M. (Eds.), Workshop on Logic and Games. ESSLLI'01. Dept of Philosophy, University of Helsinki.

Janssen, T.M.V. (2001) Computational aspects of IF logic.

In van der Sluis, I. Bunt, H. Thijsse, E. (Eds.), Proceedings of the fourth international workshop on computational semantics IWCS-4 (pp 173-187). Tilburg University. Computational Linguistics and IA group.

Janssen, T.M.V. (2001) Frege, contextuality and compositionality.

Journal of Logic, Language and Information, Vol. 10 (pp 115-136)

Article | UvA-DARE

Janssen, T.M.V. (2001) Implicit slashing in IF logic.

In van Rooy, R. Stokhof, M. (Eds.), Thirteenth Amsterdam Colloquium, Proceedings (pp 120-125)

Janssen, T.M.V. (2002) Independent choices and the Interpretation of IF Logic.

Technical Reports. Institute for Logic, Language and Computation.

Working paper | UvA-DARE

Janssen, T.M.V. (2002) Independent choices and the interpretation of IF-logic.

Journal of Logic, Language and Information, Vol. 11 (pp 367-387)

Article | UvA-DARE

Janssen, T.M.V. (2003) On the semantics of branching quantifier sentences.

In Dekker, P.J.E. van Rooy, R.A.M. (Eds.), Proceedings of the 14th Amsterdam Colloquium (pp 147-151). ILLC.

Janssen, T.M.V. (2005) Montague Semantics.

In Brown, Keith (Eds.), Encyclopedia of Language and Linguistics (2nd ed.) (pp 244-255). Elsevier.

Janssen, T.M.V. (2005) Independence Friendly logic as a strategic game.

In Dekker, P. Franke, M. (Eds.), Proceedings Fifteenth Amsterdam Colloquium (pp 125-130). ILLC.

Janssen, T.M.V. (2006) Independence and Hintikka games.

In Bonnano, G. van der Hoek, W. Woolridge, M. (Eds.), 7th Conference on Logic and the foundations of Game and Decision (LOFT06, Liverpool) (pp 113-122). The University of Liverpool.

Janssen, T.M.V. (2006) Logic as a language for modelling.

In Manzano, M. Lancho, B.P. Gil, A. (Eds.), Second International Congress on Tools for teaching Logic, proceedings (pp 63-67). University of Salamanca.

Janssen, T.M.V. (2007) Independence and Hintikka games.

PP. Institute for Logic, Language and Computation.

Working paper | UvA-DARE

Janssen, T.M.V. (2007) Compiler correctness and the translation of logics.

PP. Institute for Logic, Language and Computation.

Working paper | UvA-DARE

Janssen, T.M.V. (2007) Review of 'Handbook of philosophical logic. Vol. 10'.

The Bulletin of Symbolic Logic, Vol. 13 (pp 248-250)

Article | UvA-DARE

Janssen, T.M.V. (2010) A comparison of independence friendly logic and dependence logic.

In Kontinen, J. Väänänen, J. (Eds.), Proceedings of Dependence and Independence in Logic: ESSLLI 2010 Workshop : Copenhagen, August 16-20, 2010 (pp 55-57). ILLC.