WorldCat Identities

Nordström, Bengt

Overview
Works: 110 works in 232 publications in 3 languages and 1,416 library holdings
Genres: Conference papers and proceedings 
Roles: Author, Editor, Other
Classifications: QA76.9.A96, 005.131
Publication Timeline
.
Most widely held works by Bengt Nordström
Types for proofs and programs : international workshop TYPES '95, Torino, Italy, June 5-8, 1995 : selected papers by Peter Dybjer( Book )

25 editions published between 1995 and 2000 in English and Italian and held by 284 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
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 235 WorldCat member libraries worldwide

Advances in natural language processing : 6th international conference, GoTAL 2008, Gothenburg, Sweden, August 25-27, 2008 : proceedings by Jaime G Carbonell( Book )

20 editions published in 2008 in English and held by 98 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
Programming with abstract data types : some examples by Bengt Nordström( Book )

4 editions published in 1978 in English and Swedish and held by 8 WorldCat member libraries worldwide

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

Lisa - an experimental language with simple formal semantics by Bengt Nordström( Book )

3 editions published in 1978 in English and Swedish 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

Video : expansion och stagnation by Anders Gahlin( Book )

3 editions published in 1989 in Swedish and held by 5 WorldCat member libraries worldwide

Video i Sverige, høsten/vintern 1987/88 : tillgång förskjutet tv-tittande hyrfilm 1987/88 by Anders Gahlin( Book )

3 editions published in 1988 in Swedish and held by 5 WorldCat member libraries worldwide

Lokalradions publik. Sex ar efter starten by Bengt Nordström( Book )

3 editions published in 1984 in Swedish and held by 5 WorldCat member libraries worldwide

Radions publik : nov-dec 1986 by Bengt Nordström( Book )

3 editions published in 1987 in Swedish and held by 5 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

Video och utländsk TV hösten 1988 by Anders Gahlin( Book )

3 editions published in 1988 in Swedish and held by 5 WorldCat member libraries worldwide

TV från hela landet : distriktsprogrammen og deras publik by Bengt Nordström( Book )

3 editions published in 1985 in Swedish and held by 4 WorldCat member libraries worldwide

När radion fick en ny kanal : om lyssnandet när P4 infördes i Stockholm, Göteborg, Malmö och Örebro by Bengt Nordström( Book )

3 editions published between 1988 and 1990 in Swedish and held by 4 WorldCat member libraries worldwide

Tv : s publik sommaren 1986 by Anders Gahlin( Book )

3 editions published in 1986 in Swedish and held by 4 WorldCat member libraries worldwide

Description of a simple programming language by Bengt Nordström( Book )

6 editions published in 1984 in English and held by 4 WorldCat member libraries worldwide

Studier kring lokalradion : levnadsvanor och potentiell publik by Carina Nilsson( Book )

3 editions published in 1978 in Swedish and held by 4 WorldCat member libraries worldwide

Video och utländsk TV i Sverige våren 1987 by Anders Gahlin( Book )

2 editions published in 1987 in Swedish and held by 4 WorldCat member libraries worldwide

Terminating general recursion by Bengt Nordström( Book )

5 editions published between 1987 and 1988 in English and Undetermined and held by 4 WorldCat member libraries worldwide

 
moreShow More Titles
fewerShow Fewer Titles
Audience Level
0
Audience Level
1
  Kids General Special  
Audience level: 0.72 (from 0.53 for Advances i ... to 0.98 for Video och ...)

Types for proofs and programs : international workshop TYPES '95, Torino, Italy, June 5-8, 1995 : selected papers
Languages
English (76)

Swedish (32)

Italian (1)

Covers
Advances in natural language processing : 6th international conference, GoTAL 2008, Gothenburg, Sweden, August 25-27, 2008 : proceedings