Coquand, Thierry; Kinoshita, Y.; Nordström, Bengt; Takeyama, M.: A simple type-theoretic language: Mini-TT. From Semantics to Computer Science : Essays in Honour of Gilles Kahn, pp. 139-164. ISBN/ISSN: 9780521518253

Nordström, Bengt: Towards a Theory of Document Structure. From Semantics to Computer Science, pp. 265-279.

Advances in Natural Language Processing. Bengt Nordström, Aarne Ranta [editor(s)]. Heidelberg : Springer Verlag. ISBN/ISSN: 3-540-85286-7

Khegai, Janna; Nordström, Bengt; Ranta, Aarne: Multilingual Syntax Editing in GF. Proceedings of 4th international conference on Computational Linguistics and Intelligent Text Processing, CICLing 2003, Mexico City, Mexico,

Nordström, Bengt: Constructivism. A Computing Science Perspective.. Invited talk to the meeting on Foundations and the Ontological Quest in Pontificial Lateran University, Vatican City, January 2002,

Nordström, Bengt; Petersson, Kent; Smith, Jan: Martin-Löf's Type Theory. Handbook of Logic in Computer Science, 5

Nordström, Bengt; Petersson, Kent; Smith, Jan: Programming in Martin-Löf's Type Theory. Göteborg : Chalmers University of Technology.