The Clausal Theory of Types (Cambridge Tracts in Theoretical Computer Science)
Publisher: Cambridge University Press
Published: June 16, 2009
Format: Paperback
Number of pages: 136
ISBN-13: 9780521117906
Subjects: Computers & Internet -- Programming -- Languages & Tools; Computers & Internet -- Programming -- Software Design, Testing & Engineering -- Object-Oriented Design