Concepedia

Bengt Nordström

BN

Statistics

Publications

5

Citations

441

H-Index

5

Active since

1981

Affiliations

Chalmers University of Technology(Current)

Bengt Nordström is an author at Chalmers University of Technology specializing in formal methods, automated reasoning, and engineering.

Top concepts

EngineeringFormal MethodsAutomated ReasoningMathematical ProgrammingDesignSyntaxLanguageSemanticsLinguisticsFormal Logic

Publications per year

1981–1990

5

Publications

5

Programming in Martin-Löf's Type Theory

Bengt Nordström, Kent Petersson, Jan M. Smith · Chalmers Publication Library (Chalmers University of Technology) · 1990 · 264 citations

Mathematical Programming, Engineering, Type Theory +18

Terminating general recursion

Bengt Nordström · BIT Numerical Mathematics · 1988 · 68 citations

Computability Theory, Recursive Function, General Recursion

Types and Specifications.

Bengt Nordström, Kent Petersson · IFIP Congress · 1983 · 40 citations

Industrial Design, Data Type, Design +3

Programming in Constructive Set Theory

Bengt Nordström · 1981 · 38 citations

Mathematical Programming, Constructive Mathematics, Engineering +11

Propositions and specifications of programs in Martin-Löf's type theory

Bengt Nordström, Jan M. Smith · BIT Numerical Mathematics · 1984 · 31 citations

Engineering, Automated Reasoning, Type Theory +3

Rows per page

1–5 of 5