Theo M. V. Janssen

According to our database, Theo M. V. Janssen authored at least 11 papers between 1977 and 2013.

Collaborative distances:

• Dijkstra number of four.
• Erdős number of three.

2013

Compositional Natural Language Semantics using Independence Friendly Logic or Dependence Logic.

Theo M. V. Janssen

Stud Logica, 2013

2009

Equivalence and quantifier rules for logic with imperfect information.

Xavier Caicedo, Francien Dechesne, Theo M. V. Janssen

Log. J. IGPL, 2009

2002

Independent Choices and the Interpretation of IF Logic.

Theo M. V. Janssen

J. Log. Lang. Inf., 2002

2001

Frege, Contextuality and Compositionality.

Theo M. V. Janssen

J. Log. Lang. Inf., 2001

1998

Algebraic Translations, Correctness and Algebraic Compiler Construction.

Theo M. V. Janssen

Theor. Comput. Sci., 1998

1997

An Overview of Compositional Translations.

Theo M. V. Janssen

Proceedings of the Compositionality: The Significant Difference, International Symposium, 1997

Compositionality.

Theo M. V. Janssen, Barbara H. Partee

Proceedings of the Handbook of Logic and Language., 1997

1988

A Mathematical Model for the CAT Framwork of EUROTRA.

Theo M. V. Janssen

Proceedings of the Computerlinguistik und ihre theoretischen Grundlagen, 1988

1981

Some Observations on Compositional Semantics.

Theo M. V. Janssen, Peter van Emde Boas

Proceedings of the Logics of Programs, Workshop, Yorktown Heights, New York, USA, May 1981, 1981

1977

The Expressive Power of Intensional Logic in the Semantics of Programming Languages.

Theo M. V. Janssen, Peter van Emde Boas

Proceedings of the Mathematical Foundations of Computer Science 1977, 1977

On the Proper Treatment or Referencing, Dereferencing and Assignment.

Theo M. V. Janssen, Peter van Emde Boas

Proceedings of the Automata, 1977