WorldCat Identities

Nordström, Bengt

Overview
Works: 22 works in 62 publications in 3 languages and 1,018 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 ( )
18 editions published in 2008 in English and held by 441 WorldCat member libraries worldwide
Annotation This book constitutes the refereed proceedings of the 6th International Conference on Natural Language Processing, GoTAL 2008, Gothenburg, Sweden, August 2008.The 44 revised full papers presented together with 3 invited talks were carefully reviewed and selected from 107 submissions. The papers address all current issues in computational linguistics and monolingual and multilingual intelligent language processing - theory, methods and applications
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 317 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 )
7 editions published in 1990 in English and Undetermined and held by 224 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
Lisa - an experimental language with simple formal semantics by Bengt Nordström ( Book )
1 edition published in 1978 in English and held by 4 WorldCat member libraries worldwide
Some concepts for very high level languages without explicit pointers by Bengt Nordström ( Book )
1 edition published in 1978 in English and held by 4 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 ( Book )
1 edition published in 2000 in English and held by 3 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
Assignments and high level data types by Bengt Nordström ( Book )
1 edition published in 1978 in English and held by 3 WorldCat member libraries worldwide
Types for proofs and programs : International workshop TYPES '94, Båstad, Sweden, June 1994 ; selected papers by Peter Dybjer ( Book )
2 editions published in 1995 in Italian and English and held by 2 WorldCat member libraries worldwide
Programming with abstract data types : some examples by Bengt Nordström ( Book )
1 edition published in 1978 in English 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
Types and specifications by Bengt Nordström ( Book )
1 edition published in 1983 in English and held by 1 WorldCat member library worldwide
Martin-Löf's type theory as a programming logic by Bengt Nordström ( Book )
1 edition published in 1986 in English and held by 1 WorldCat member library worldwide
Description of a simple programming language by Bengt Nordström ( Book )
1 edition published in 1984 in English and held by 1 WorldCat member library worldwide
The semantics of module specifications in Martin-Löf's type theory by Bengt Nordström ( Book )
1 edition published in 1985 in English and held by 1 WorldCat member library 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
Propositions and specifications of programs in Martin-Löf's type theory by Bengt Nordström ( Book )
1 edition published in 1984 in English and held by 1 WorldCat member library worldwide
Terminating general recursion by Bengt Nordström ( Book )
1 edition published in 1988 in English and held by 1 WorldCat member library worldwide
Lokalradiolyssnandet 1983/84 by Riccard Montén ( Book )
1 edition published in 1984 in Swedish 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.77 (from 0.00 for Lokalradio ... to 0.92 for Invited pa ...)
Languages
English (57)
Italian (1)
Swedish (1)
Covers