An Outline of a Mathematical Model for the Definition and Manipulation of Data. - Bengt Nordström (Conference on Data: Abstraction, Definition and Structure, 1976)

Programming with abstract data types, some examples. - Bengt Nordström (ACM Annual Conference (2), 1978)

Programming in Constructive Set Theory: Some examples. - Bengt Nordström (FPCA, 1981)

Types and Specifications. - Bengt Nordström; Kent Petersson (IFIP Congress, 1983)

Propositions and Specifications of Programs in Martin-Löfs Type Theory. - Bengt Nordström; Jan M. Smith (BIT, 1984)

The Design of an Interactive Program Development System for Pascal. - Bengt Nordström; Åke Wikström (Softw. Pract. Exp., 1984)

Multilevel functions in Martin-Löf's type theory. - Bengt Nordström (Programs as Data Objects, 1985)

The Design of Apple - A Language for Modular Programs. - Richard B. Kieburtz; Bengt Nordström (Comput. Lang., 1985)

Terminating General Recursion. - Bengt Nordström (BIT, 1988)

The ALF Proof Editor and Its Proof Engine. - Lena Magnusson; Bengt Nordström (TYPES, 1993)

Type Theorie Programming. - Thierry Coquand; Bengt Nordström; Jan M. Smith; Björn von Sydow (Bull. EATCS, 1994)

Multilingual Syntax Editing in GF. - Janna Khegai; Bengt Nordström; Aarne Ranta (CICLing, 2003)

Frontmatter, Table of Contents, Preface, Workshop Organization. - Nils Anders Danielsson; Bengt Nordström (TYPES, 2011)

Logical analysis of descriptions and their presentations - a computational logic approach (NII Shonan Meeting 2015-2). - Yoshiki Kinoshita; Bengt Nordström (NII Shonan Meet. Rep., 2015)