HDS-10: Janssen, Theo (2014) Foundations and applications of Montague grammar. Doctoral thesis, University of Amsterdam.
PP-2007-14: Janssen, Theo (2007) Compiler correctness and the translation of logics. [Report]
PP-2007-13: Janssen, Theo (2007) Independence and Hintikka games. [Report]
PP-2002-01: Janssen, Theo (2002) Independent Choices and the Interpretation of IF Logic. [Report]