Types for Proofs and Programs
Publisher: Springer-Verlag Berlin and Heidelberg GmbH & Co. K
Published: May 18, 2008
Format: paperback
Number of pages: 202
ISBN-13: 9783540681038
Notes: Source title: Types for Proofs and Programs (Lecture Notes in Computer Science / Lecture Notes in Artificial Intelligence)