Types for proofs and programs: selected papers; International workshop TYPES ´94; Båstad, Sweden, June 6 -10, 1994 (Lecture Notes in Computer Science; Vol 996)
Samlingsverk (redaktörskap), 1995

Redaktör

Peter Dybjer

Institutionen för datavetenskap

Bengt Nordström

Institutionen för datavetenskap

Jan Smith

Institutionen för datavetenskap

Ämneskategorier

Datavetenskap (datalogi)

ISBN

3-540-60579-7