Basic Simple Type Theory

URI: https://gptkb.org/entity/Basic_Simple_Type_Theory
GPTKB entity
Statements (13)
Predicate Object
gptkbp:instanceOf gptkb:book
gptkbp:author gptkb:J._Roger_Hindley
gptkbp:ISBN 9780521736522
gptkbp:language English
gptkbp:pages 200
gptkbp:publicationYear 2012
gptkbp:publisher gptkb:Cambridge_University_Press
gptkbp:series gptkb:Cambridge_Tracts_in_Theoretical_Computer_Science
gptkbp:subject gptkb:logic
gptkbp:bfsParent gptkb:J._Roger_Hindley
gptkb:Roger_Hindley
gptkbp:bfsLayer 9
https://www.w3.org/2000/01/rdf-schema#label Basic Simple Type Theory