Bengt Nordström

发表

Bengt Nordström, Kent Petersson, Jan M. Smith, 1990 .

Bengt Nordström, Kent Petersson, Jan M. Smith, 1990 .

Bengt Nordström, Aarne Ranta, Janna Khegai, 2003, CICLing.

Thierry Coquand, Peter Dybjer, Jan M. Smith, 2000 .

Thierry Coquand, Jan M. Smith, Bengt Nordström, 1994, Bull. EATCS.

Nils Anders Danielsson, Bengt Nordström, Bengt Nordström, 2011, TYPES.

Jan M. Smith, Bengt Nordström, Kent Petersson, 2001, LICS 2001.

Bengt Nordström, Aarne Ranta, Bengt Nordström, 2008 .

Bengt Nordström, Bengt Nordström, 2009 .

Bengt Nordström, Bengt Nordström, 1981, FPCA '81.

Bengt Nordström, Bengt Nordström, 1976, Conference on Data: Abstraction, Definition and Structure.

Bengt Nordström, Lena Magnusson, Bengt Nordström, 1994, TYPES.

Richard B. Kieburtz, Bengt Nordström, Bengt Nordström, 1985, Comput. Lang..

Nils Anders Danielsson, Bengt Nordström, Bengt Nordström, 2013, TYPES.

Jan M. Smith, Bengt Nordström, Bengt Nordström, 1984, BIT.

Thorsten Altenkirch, Bengt Nordström, Veronica Gaspes, 1994 .