Proofs and types
Series: Cambridge Tracts in Theoretical Computer Science
Publisher: Cambridge University Press
Published: April 28, 1989
Language: eng
Format: Hardcover
Number of pages: 192
ISBN-13: 9780521371810
Subjects: Mathematical theory of computation; Computers / Programming / Software Development; Calculus Of Variations; Computer Science Research; Computer Books: Operating Systems