Types for Proofs and Programs - nternational Workshop, TYPES'99, Lökeberg, Sweden, June 12-16, 1999, Selected Papers (Lecture Notes in Computer Science, Vol. 1956)
Samlingsverk (redaktörskap), 2000

Redaktör

Thierry Coquand

Institutionen för datavetenskap

Peter Dybjer

Institutionen för datavetenskap

Bengt Nordström

Institutionen för datavetenskap

Jan Smith

Institutionen för datavetenskap

Ämneskategorier

Datavetenskap (datalogi)

ISBN

978-3-540-44557-9