| |
| 2002 | ||
|---|---|---|
| 8 | Theo M. V. Janssen: Independent Choices and the Interpretation of IF Logic. Journal of Logic, Language and Information 11(3): 367-387 (2002) | |
| 2001 | ||
| 7 | Theo M. V. Janssen: Frege, Contextuality and Compositionality. Journal of Logic, Language and Information 10(1): 115-136 (2001) | |
| 1998 | ||
| 6 | EE | Theo M. V. Janssen: Algebraic Translations, Correctness and Algebraic Compiler Construction. Theor. Comput. Sci. 199(1-2): 25-56 (1998) |
| 1997 | ||
| 5 | EE | Theo M. V. Janssen: An Overview of Compositional Translations. COMPOS 1997: 327-349 |
| 1988 | ||
| 4 | Theo M. V. Janssen: A Mathematical Model for the CAT Framwork of EUROTRA. Computerlinguistik und ihre theoretischen Grundlagen 1988: 104-116 | |
| 1981 | ||
| 3 | Theo M. V. Janssen, Peter van Emde Boas: Some Observations on Compositional Semantics. Logic of Programs 1981: 137-149 | |
| 1977 | ||
| 2 | Theo M. V. Janssen, Peter van Emde Boas: On the Proper Treatment or Referencing, Dereferencing and Assignment. ICALP 1977: 282-300 | |
| 1 | Theo M. V. Janssen, Peter van Emde Boas: The Expressive Power of Intensional Logic in the Semantics of Programming Languages. MFCS 1977: 303-311 | |
| 1 | Peter van Emde Boas | [1] [2] [3] |