Theo M. V. Janssen

Publication Activity (10 Years)

Years Active: 1977-2013
Publications (10 Years): 0

Top Topics

Natural Language

Proof Theoretic

Sound And Complete With Respect

Top Venues

Publications

Theo M. V. Janssen
Compositional Natural Language Semantics using Independence Friendly Logic or Dependence Logic. Stud Logica 101 (2) (2013)
Xavier Caicedo, Francien Dechesne, Theo M. V. Janssen
Equivalence and quantifier rules for logic with imperfect information. Log. J. IGPL 17 (1) (2009)
Theo M. V. Janssen
Independent Choices and the Interpretation of IF Logic. J. Log. Lang. Inf. 11 (3) (2002)
Theo M. V. Janssen
Frege, Contextuality and Compositionality. J. Log. Lang. Inf. 10 (1) (2001)
Theo M. V. Janssen
Algebraic Translations, Correctness and Algebraic Compiler Construction. Theor. Comput. Sci. 199 (1-2) (1998)
Theo M. V. Janssen
An Overview of Compositional Translations. COMPOS (1997)
Theo M. V. Janssen
A Mathematical Model for the CAT Framwork of EUROTRA. Computerlinguistik und ihre theoretischen Grundlagen (1988)
Theo M. V. Janssen, Peter van Emde Boas
Some Observations on Compositional Semantics. Logic of Programs (1981)
Theo M. V. Janssen, Peter van Emde Boas
The Expressive Power of Intensional Logic in the Semantics of Programming Languages. MFCS (1977)
Theo M. V. Janssen, Peter van Emde Boas
On the Proper Treatment or Referencing, Dereferencing and Assignment. ICALP (1977)