1. Ahn, R. (2000) Agents, Object and Events. A computational approach to knowledge, observation and communication. Ph.D. Thesis, Eindhoven University of Technology.
2. Ahn, R. and Borghuis, T. (1997) Communication Modelling and Context-Dependent Interpretation: An Integrated Approach. In A. Benz and G. Jäger (eds) Proceedings of Mundial ′97, Munich, 1997.
3. Ahn, R. & Kolb, H.R (1990) Discourse Representation Meets Constructive Mathematics. In: L. Kaiman & L. Polos (eds.) Papers from the Second Symposium on Logic and Language, Budapest: Akadémiai Kiadó, 105–124.
4. Barendregt, H. (1991) Introduction to Generalized Type Systems. Journal of Functional Programming, 1(2). 125–154.
5. Borghuis, T. (1994) Coming to terms with modal logic: on the interpretation of modalities in typed λ-calculus. Ph.D. Thesis, Eindhoven University of Technology.