Bengt Nordström

Publication Activity (10 Years)

Years Active: 1976-2015
Publications (10 Years): 0

Top Topics

Sensitivity Analysis

Computational Logic

Top Venues

NII Shonan Meet. Rep.

Publications

Yoshiki Kinoshita, Bengt Nordström
Logical analysis of descriptions and their presentations - a computational logic approach (NII Shonan Meeting 2015-2). NII Shonan Meet. Rep. 2015 (2015)
Nils Anders Danielsson, Bengt Nordström
Frontmatter, Table of Contents, Preface, Workshop Organization. TYPES (2011)
Janna Khegai, Bengt Nordström, Aarne Ranta
Multilingual Syntax Editing in GF. CICLing (2003)
Thierry Coquand, Bengt Nordström, Jan M. Smith, Björn von Sydow
Type Theorie Programming. Bull. EATCS 52 (1994)
Lena Magnusson, Bengt Nordström
The ALF Proof Editor and Its Proof Engine. TYPES (1993)
Bengt Nordström
Terminating General Recursion. BIT 28 (3) (1988)
Richard B. Kieburtz, Bengt Nordström
The Design of Apple - A Language for Modular Programs. Comput. Lang. 10 (1) (1985)
Bengt Nordström
Multilevel functions in Martin-Löf's type theory. Programs as Data Objects (1985)
Bengt Nordström, Jan M. Smith
Propositions and Specifications of Programs in Martin-Löfs Type Theory. BIT 24 (3) (1984)
Bengt Nordström, Åke Wikström
The Design of an Interactive Program Development System for Pascal. Softw. Pract. Exp. 14 (2) (1984)
Bengt Nordström, Kent Petersson
Types and Specifications. IFIP Congress (1983)
Bengt Nordström
Programming in Constructive Set Theory: Some examples. FPCA (1981)
Bengt Nordström
Programming with abstract data types, some examples. ACM Annual Conference (2) (1978)
Bengt Nordström
An Outline of a Mathematical Model for the Definition and Manipulation of Data. Conference on Data: Abstraction, Definition and Structure (1976)