Basic Simple Type Theory
Publisher: Cambridge University Press
Published: Jan 21, 2008
Format: paperback
Number of pages: 200
ISBN-13: 9780521054225
Notes: Source title: Basic Simple Type Theory (Cambridge Tracts in Theoretical Computer Science)