Bengt Nordström

18 papers C 1Journal 6Unranked 7
YearRankTypeTitle / Venue / Authors
2015 J jnl
Logical analysis of descriptions and their presentations - a computational logic approach (NII Shonan Meeting 2015-2).
NII Shonan Meet. Rep.
Yoshiki Kinoshita, Bengt Nordström
2013 — ed.
18th International Workshop on Types for Proofs and Programs, TYPES 2011, Bergen, Norway, September 8-11, 2011
TYPES
Nils Anders Danielsson, Bengt Nordström
2011 — conf
Frontmatter, Table of Contents, Preface, Workshop Organization.
TYPES
Nils Anders Danielsson, Bengt Nordström
2008 — ed.
Advances in Natural Language Processing, 6th International Conference, GoTAL 2008, Gothenburg, Sweden, August 25-27, 2008, Proceedings
GoTAL
Bengt Nordström, Aarne Ranta
2003 C conf
Multilingual Syntax Editing in GF.
CICLing
Janna Khegai, Bengt Nordström, Aarne Ranta
2000 — ed.
Types for Proofs and Programs, International Workshop TYPES'99, Lökeberg, Sweden, June 12-16, 1999, Selected Papers
TYPES
Thierry Coquand, Peter Dybjer, Bengt Nordström, Jan M. Smith
1995 — ed.
Types for Proofs and Programs, International Workshop TYPES'94, Båstad, Sweden, June 6-10, 1994, Selected Papers
TYPES
Peter Dybjer, Bengt Nordström, Jan M. Smith
1994 J jnl
Type Theorie Programming.
Bull. EATCS
Thierry Coquand, Bengt Nordström, Jan M. Smith, Björn von Sydow
1993 — conf
The ALF Proof Editor and Its Proof Engine.
TYPES
Lena Magnusson, Bengt Nordström
1988 J jnl
Terminating General Recursion.
BIT
Bengt Nordström
1985 — conf
Multilevel functions in Martin-Löf's type theory.
Programs as Data Objects
Bengt Nordström
1985 J jnl
The Design of Apple - A Language for Modular Programs.
Comput. Lang.
Richard B. Kieburtz, Bengt Nordström
1984 J jnl
Propositions and Specifications of Programs in Martin-Löfs Type Theory.
BIT
Bengt Nordström, Jan M. Smith
1984 J jnl
The Design of an Interactive Program Development System for Pascal.
Softw. Pract. Exp.
Bengt Nordström, Åke Wikström
1983 — conf
Types and Specifications.
IFIP Congress
Bengt Nordström, Kent Petersson
1981 — conf
Programming in Constructive Set Theory: Some examples.
FPCA
Bengt Nordström
1978 — conf
Programming with abstract data types, some examples.
ACM Annual Conference (2)
Bengt Nordström
1976 — conf
An Outline of a Mathematical Model for the Definition and Manipulation of Data.
Conference on Data: Abstraction, Definition and Structure
Bengt Nordström