| 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 | 1400* | 1990 |
| The ALF proof editor and its proof engine L Magnusson, B Nordström Types for proofs and programs, 213-237, 1994 | 225 | 1994 |
| 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 | 118* | 2001 |
| Terminating general recursion B Nordström BIT Numerical Mathematics 28 (3), 605-619, 1988 | 99 | 1988 |
| Programming in constructive set theory: some examples B Nordström Proceedings of the 1981 conference on Functional programming languages and …, 1981 | 71 | 1981 |
| 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 | 61 | 1990 |
| Types and specifications B Nordström, K Petersson Programming Methodology Group, Chalmers University of Technology/University …, 1983 | 59 | 1983 |
| Type theory and programming T Coquand, B Nordstrom, JM Smith, BV Sydow EATCS, 1994 | 53 | 1994 |
| A user’s guide to ALF T Altenkirch, V Gaspes, B Nordström, B von Sydow Chalmers University of Technology, Sweden, 1994 | 50 | 1994 |
| 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 Computational Linguistics and Intelligent Text Processing: 4th International …, 2003 | 44 | 2003 |
| 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 | 32 | 1992 |
| The ALF proof editor B Nordström Proceedings of the Workshop on Types for Proofs and Programs, 253-266, 1993 | 24 | 1993 |
| A simple type-theoretic language: Mini-TT 木下佳樹 From Semantics to Computer Science, Cambridge University Press, 139-164, 2009 | 14 | 2009 |
| 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 | 14 | 2000 |
| Martin-Löf's type theory as a programming logic B Nordström Chalmers Tekniska Högskola/Göteborgs Universitet. Programming Methodology Group, 1986 | 10 | 1986 |
| An introduction to Martin-Löf's type theory B Nordström Department of computer sciences, Göteborgs universitet, 1986 | 8 | 1986 |
| 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 | 8 | 1985 |
| Petersson, and JMK, Smith. Programming in Martin-Löf’s Type Theory B Nordström Clarendon Press, Oxford, 1990 | 7 | 1990 |
| Reduction of influenza complications following oseltamivir use BL Nordstrom, S Zhu, JR Smith Ingenixi3 Magniti Epidemiology, Auburndale, MA and Hoffman-La Roche Ltd …, 2005 | 6 | 2005 |
Peter DybjerProfessor of Computer Science, Chalmers UniversityPreverjeni e-poštni naslov na chalmers.se
