Follow
Bengt Nordström
Bengt Nordström
Professor of Computer Science, Chalmers University of Technology
Verified email at chalmers.se
Title
Cited by
Cited by
Year
Programming in Martin-Löf’s type theory, volume 7 of International Series of Monographs on Computer Science
B Nordström, K Petersson, JM Smith
Clarendon Press, Oxford, 1990
1358*1990
The ALF proof editor and its proof engine
L Magnusson, B Nordström
Types for proofs and programs, 213-237, 1994
2201994
Martin-Löf's type theory, Handbook of logic in computer science: Volume 5: Logic and algebraic methods
B Nordström, K Petersson, JM Smith
Oxford University Press, Oxford, 2001
121*2001
Terminating general recursion
B Nordström
BIT Numerical Mathematics 28 (3), 605-619, 1988
951988
Programming in constructive set theory: some examples
B Nordström
Proceedings of the 1981 conference on Functional programming languages and …, 1981
671981
A short description of another logical framework
L Augustsson, T Coquand, B Nordström
Proceedings of the First Workshop on Logical Frameworks, Antibes, 39-42, 1990
621990
Types and specifications
B Nordström, K Petersson
Programming Methodology Group, Chalmers University of Technology/University …, 1983
601983
Type theory and programming
T Coquand, B Nordstrom, JM Smith, BV Sydow
EATCS, 1994
511994
A user’s guide to ALF
T Altenkirch, V Gaspes, B Nordström, B von Sydow
Chalmers University of Technology, Sweden, 1994
501994
Propositions and specifications of programs in Martin-Löf's type theory
B Nordström, J Smith
BIT Numerical Mathematics 24 (3), 288-301, 1984
501984
Multilingual syntax editing in GF
J Khegai, B Nordström, A Ranta
Computational Linguistics and Intelligent Text Processing: 4th International …, 2003
432003
A normalization proof for an impredicative type system with large elimination over integers
B Werner, B Nordström, K Petersson, G Plotkin
International Workshop on Types for Proofs and Programs (TYPES), 341-357, 1992
321992
The ALF proof editor
B Nordström
Proceedings of the Workshop on Types for Proofs and Programs, 253-266, 1993
241993
Martin-Löf Type Theory, Handbook of Logic in Computer Science (S. Abramski, DM Gabbay, and TSE Maibaum, eds.), vol. 5
B Nordström, K Petersson, JM Smith
Oxford University Press, 2000
142000
A simple type-theoretic language: Mini-TT
T Coquand, Y Kinoshita, B Nordström, M Takeyama
From Semantics to Computer Science; Essays in Honour of Gilles Kahn, 139-164, 2009
132009
Martin-Löf's type theory as a programming logic
B Nordström
Chalmers Tekniska Högskola/Göteborgs Universitet. Programming Methodology Group, 1986
131986
An introduction to Martin-Löf's type theory
B Nordström
Department of computer sciences, Göteborgs universitet, 1986
111986
The Semantics of Module Specifications in Martin-Lof's Type Theory
B Nordström, K Petersson
Programming Methology Group, Chalmers and University of Göteborg, 1985
81985
Petersson, and JMK, Smith. Programming in Martin-Löf’s Type Theory
B Nordström
Clarendon Press, Oxford, 1990
71990
Towards a theory of document structure
B Nordström
52009
The system can't perform the operation now. Try again later.
Articles 1–20