Bengt Nordström

According to our database, Bengt Nordström authored at least 14 papers between 1976 and 2015.

Collaborative distances:

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

2015

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

2011

Frontmatter, Table of Contents, Preface, Workshop Organization.

Nils Anders Danielsson, Bengt Nordström

Proceedings of the 18th International Workshop on Types for Proofs and Programs, 2011

2003

Multilingual Syntax Editing in GF.

Janna Khegai, Bengt Nordström, Aarne Ranta

Proceedings of the Computational Linguistics and Intelligent Text Processing, 2003

1994

Type Theorie Programming.

Thierry Coquand, Bengt Nordström, Jan M. Smith, Björn von Sydow

Bull. EATCS, 1994

1993

The ALF Proof Editor and Its Proof Engine.

Lena Magnusson, Bengt Nordström

Proceedings of the Types for Proofs and Programs, 1993

1988

Terminating General Recursion.

Bengt Nordström

BIT, 1988

1985

The Design of Apple - A Language for Modular Programs.

Richard B. Kieburtz, Bengt Nordström

Comput. Lang., 1985

Multilevel functions in Martin-Löf's type theory.

Bengt Nordström

Proceedings of the Programs as Data Objects, 1985

1984

The Design of an Interactive Program Development System for Pascal.

Bengt Nordström, Åke Wikström

Softw. Pract. Exp., 1984

Propositions and Specifications of Programs in Martin-Löfs Type Theory.

Bengt Nordström, Jan M. Smith

BIT, 1984

1983

Types and Specifications.

Bengt Nordström, Kent Petersson

Proceedings of the Information Processing 83, 1983

1981

Programming in Constructive Set Theory: Some examples.

Bengt Nordström

Proceedings of the 1981 conference on Functional programming languages and computer architecture, 1981

1978

Programming with abstract data types, some examples.

Bengt Nordström

Proceedings of the Proceedings 1978 ACM Annual Conference, 1978

1976

An Outline of a Mathematical Model for the Definition and Manipulation of Data.

Bengt Nordström

Proceedings of the SIGPLAN 1976 Conference on Data: Abstraction, 1976