GPTKB
Browse
Query
Compare
Download
Publications
Contributors
Search
Robert Constable
URI:
https://gptkb.org/entity/Robert_Constable
GPTKB entity
Statements (18)
Predicate
Object
gptkbp:instanceOf
gptkb:person
gptkbp:almaMater
gptkb:Princeton_University
gptkbp:awardReceived
gptkb:ACM_Fellow
gptkbp:birthYear
1942
gptkbp:doctoralAdvisor
gptkb:Alonzo_Church
gptkbp:employer
gptkb:Cornell_University
gptkbp:field
gptkb:mathematics
computer science
gptkbp:hasPhD
true
https://www.w3.org/2000/01/rdf-schema#label
Robert Constable
gptkbp:nationality
gptkb:American
gptkbp:notableFor
gptkb:Nuprl_proof_development_system
constructive type theory
gptkbp:occupation
gptkb:computer_scientist
gptkbp:position
gptkb:professor
gptkbp:thesisTitle
gptkb:Degrees_of_Unsolvability
gptkbp:bfsParent
gptkb:Sir_Robert_Constable
gptkbp:bfsLayer
7