Search from the table of contents of 2.5 million books
Advanced Search (Beta)
Home > Types for Proofs and Programs: International Workshop, TYPES' 99, Lökeberg, Sweden, June 12-16, 1999, Selected Papers

Types for Proofs and Programs: International Workshop, TYPES' 99, Lökeberg, Sweden, June 12-16, 1999, Selected Papers


Book Informaton

Types for Proofs and Programs: International Workshop, TYPES' 99, Lökeberg, Sweden, June 12-16, 1999, Selected Papers

Author

Thierry Coquand; Peter Dybjer; Bengt Nordström; Jan Smith

Series

Lecture Notes in Computer Science

Volume

1956

Year of Publication

2000

Publisher

Springer Berlin Heidelberg

City of Publication

Berlin; New York

Pages

X, 202

Language

en

ISBN

9783540415176, 9783540445579, 3540415173

ARI Id

1664951689132


Find on

World Cat

OpenLibrary

Internet Archive


This page has been accessed 6 times.
Asian Research Index Whatsapp Chanel
Asian Research Index Whatsapp Chanel

Join our Whatsapp Channel to get regular updates.