Name: Types for Proofs and Programs: Third International Workshop, TYPES '99, Leokeberg, Sweden, June 12-16, 1999 : Selected Papers (Lecture Notes in Computer Science)
Brand: Springer
SKU: 12564477
Price: 105 AUD
Availability: InStock

Types for Proofs and Programs (Third International Workshop, TYPES '99, Leokeberg, Sweden, June 12-16, 1999 : Selected Papers (Lecture Notes in Computer Science))

By Thierry Coquand, Peter Dybjer, Bengt Nordström, Jan Smith

Types for Proofs and Programs (Third International Workshop, TYPES '99, Leokeberg, Sweden, June 12-16, 1999 : Selected Papers (Lecture Notes in Computer Science))

By Thierry Coquand, Peter Dybjer, Bengt Nordström, Jan Smith

$105

View:
Safe Search(?):