WorldCat Identities

Nordström, Bengt

Overview
Works: 21 works in 88 publications in 2 languages and 1,058 library holdings
Genres: Conference proceedings 
Roles: Editor
Classifications: QA76 L47 NO. 5221EB, 006.35
Publication Timeline
Key
Publications about  Bengt Nordström Publications about Bengt Nordström
Publications by  Bengt Nordström Publications by Bengt Nordström
Most widely held works by Bengt Nordström
Advances in natural language processing 6th international conference, GoTAL 2008, Gothenburg, Sweden, August 25-27, 2008 : proceedings by Jaime G Carbonell ( )
17 editions published in 2008 in English and held by 433 WorldCat member libraries worldwide
Annotation
Types for proofs and programs : International Workshop TYPES '94, Båstad, Sweden, June 6-10, 1994 : selected papers by Peter Dybjer ( Book )
16 editions published in 1995 in English and held by 305 WorldCat member libraries worldwide
This book presents a strictly refereed collection of revised full papers selected from the papers accepted for the TYPES '94 Workshop, held under the auspices of the ESPRIT Basic Research Action 6453 Types for Proofs and Programs in Bastad, Sweden, in June 1994. The 10 papers included address various aspects of developing computer-assisted proofs and programs using a logical framework. Type theory and three logical frameworks based on it are dealt with: ALF, Coq, and LEGO; other topics covered are metatheory, the Isabelle system, 2-calculus, proof checkers, and ZF set theory
Programming in Martin-Löf's type theory : an introduction by Bengt Nordström ( Book )
8 editions published in 1990 in English and Undetermined and held by 227 WorldCat member libraries worldwide
Types for Proofs and Programs International Workshop, TYPES'99 Lökeberg, Sweden, June 12-16, 1999 Selected Papers by Thierry Coquand ( )
3 editions published in 2000 in English and held by 31 WorldCat member libraries worldwide
This book constitutes the thoroughly refereed post-workshop proceedings of the Third International Workshop, TYPES'99, organized by the ESPRIT Working Group 21900, in Lökeberg, Sweden, in June 1999. The 11 revised full papers presented in the volume were carefully reviewed and selected during two rounds of refereeing. All current issues on type theory and type systems and their applications to programming and proof theory are addressed
Some concepts for very high level languages without explicit pointers by Bengt Nordström ( Book )
4 editions published in 1978 in English and held by 8 WorldCat member libraries worldwide
Assignments and high level data types by Bengt Nordström ( Book )
3 editions published between 1976 and 1978 in English and Swedish and held by 8 WorldCat member libraries worldwide
Lisa - an experimental language with simple formal semantics by Bengt Nordström ( Book )
2 editions published in 1978 in English and held by 7 WorldCat member libraries worldwide
Programming with abstract data types : Some examples by Bengt Nordström ( Book )
3 editions published in 1978 in English and held by 7 WorldCat member libraries worldwide
The semantics of module specifications in Martin-Löf's type theory by Bengt Nordström ( Book )
4 editions published between 1985 and 1987 in English and held by 5 WorldCat member libraries worldwide
Types for proofs and programs : International Workshop TYPES '94, Båstad, Sweden, June 6-10, 1994 : proceedings by International Workshop TYPES '94 ( Book )
2 editions published in 1995 in English and held by 5 WorldCat member libraries worldwide
Terminating general recursion by Bengt Nordström ( Book )
4 editions published between 1987 and 1988 in English and Undetermined and held by 3 WorldCat member libraries worldwide
Martin-Löf's type theory as a programming logic by Bengt Nordström ( Book )
4 editions published in 1986 in English and Undetermined and held by 3 WorldCat member libraries worldwide
Description of a simple programming language by Bengt Nordström ( Book )
5 editions published in 1984 in English and Undetermined and held by 3 WorldCat member libraries worldwide
Lokalradiolyssnandet 1983/84 by Riccard Montén ( Book )
2 editions published in 1984 in Swedish and held by 3 WorldCat member libraries worldwide
Types and specifications by Bengt Nordström ( Book )
3 editions published in 1983 in English and held by 2 WorldCat member libraries worldwide
Propositions and specifications of programs in Martin-Löf's type theory by Bengt Nordström ( Book )
3 editions published in 1984 in English and Undetermined and held by 2 WorldCat member libraries worldwide
Invited papers and session notes from the Symposium on Functional Languages and Computer Architecture, Aspenäs, 1981-06-01--03 by Symposium on Functional Languages and Computer Architecture ( Book )
1 edition published in 1981 in English and held by 2 WorldCat member libraries worldwide
An experiment with an interactive program development system for Pascal by Bengt Nordström ( Book )
1 edition published in 1980 in English and held by 1 WorldCat member library worldwide
18th International Workshop on Types for Proofs and Programs (TYPES 2011) ( )
1 edition published in 2013 in English and held by 1 WorldCat member library worldwide
Dynamic texts in Fortran by Bengt Nordström ( Book )
1 edition published in 1975 in English and held by 1 WorldCat member library worldwide
 
moreShow More Titles
fewerShow Fewer Titles
Audience Level
0
Audience Level
1
  Kids General Special  
Audience level: 0.75 (from 0.00 for Lokalradio ... to 0.92 for Terminatin ...)
Languages
English (78)
Swedish (3)
Covers