Folgen
Bengt Nordström
Bengt Nordström
Professor of Computer Science, Chalmers University of Technology
Bestätigte E-Mail-Adresse bei chalmers.se
Titel
Zitiert von
Zitiert von
Jahr
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
1304*1990
The ALF proof editor and its proof engine
L Magnusson, B Nordström
Types for proofs and programs, 213-237, 1994
2151994
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
120*2001
Terminating general recursion
B Nordström
BIT Numerical Mathematics 28 (3), 605-619, 1988
891988
Programming in constructive set theory: some examples
B Nordström
Proceedings of the 1981 conference on Functional programming languages and …, 1981
661981
A short description of another logical framework
L Augustsson, T Coquand, B Nordstrom
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
581983
Type theory and programming
T Coquand, B Nordström, JM Smith, B von Sydow
521994
A user’s guide to ALF
T Altenkirch, V Gaspes, B Nordström, B von Sydow
Chalmers University of Technology, Sweden, 1994
491994
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
49*1984
Multilingual syntax editing in GF
J Khegai, B Nordström, A Ranta
International Conference on Intelligent Text Processing and Computational …, 2003
402003
The ALF proof editor
B Nordström
In Proceedings of the Workshop on Types for Proofs and Programs, 1993
231993
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
122009
An introduction to Martin-Löf's type theory
B Nordström
Department of computer sciences, Göteborgs universitet, 1986
111986
Martin-Löf's type theory as a programming logic
B Nordström
Chalmers Tekniska Högskola/Göteborgs Universitet. Programming Methodology Group, 1986
101986
Petersson, and JMK, Smith. Programming in Martin-Löf’s Type Theory
B Nordström
Clarendon Press, Oxford, 1990
81990
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
71985
12 Towards a Theory of Document Structure
B Nordström
52008
Programming in Martin-Lof’s Type Theory, volume 7 of
B Nordstrom, K Petersson, JM Smith
Monographs on Computer Science, 1990
51990
Das System kann den Vorgang jetzt nicht ausführen. Versuchen Sie es später erneut.
Artikel 1–20