On the Proper Treatment or Referencing, Dereferencing and Assignment. - Theo M. V. Janssen; Peter van Emde Boas (ICALP, 1977)

The Expressive Power of Intensional Logic in the Semantics of Programming Languages. - Theo M. V. Janssen; Peter van Emde Boas (MFCS, 1977)

Some Observations on Compositional Semantics. - Theo M. V. Janssen; Peter van Emde Boas (Logic of Programs, 1981)

A Mathematical Model for the CAT Framwork of EUROTRA. - Theo M. V. Janssen (Computerlinguistik und ihre theoretischen Grundlagen, 1988)

Compositionality. - Theo M. V. Janssen; Barbara H. Partee (Handbook of Logic and Language, 1997)

An Overview of Compositional Translations. - Theo M. V. Janssen (COMPOS, 1997)

Algebraic Translations, Correctness and Algebraic Compiler Construction. - Theo M. V. Janssen (Theor. Comput. Sci., 1998)

Frege, Contextuality and Compositionality. - Theo M. V. Janssen (J. Log. Lang. Inf., 2001)

Independent Choices and the Interpretation of IF Logic. - Theo M. V. Janssen (J. Log. Lang. Inf., 2002)

Equivalence and quantifier rules for logic with imperfect information. - Xavier Caicedo; Francien Dechesne; Theo M. V. Janssen (Log. J. IGPL, 2009)

Compositional Natural Language Semantics using Independence Friendly Logic or Dependence Logic. - Theo M. V. Janssen (Stud Logica, 2013)