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