First Page | Document Content | |
---|---|---|
![]() Date: 2012-02-02 15:56:23Logic Type theory Combinatory logic Intuitionistic type theory Robert Lee Constable FO Theoretical computer science Mathematical logic Logic in computer science | Source URL: www.nuprl.orgDownload Document from Source WebsiteFile Size: 59,40 KBShare Document on Facebook |
![]() | Proof Assistants and the Dynamic Nature of Formal Theories Robert L. Constable Cornell University AbstractDocID: 1qLDo - View Document |
![]() | 1 A Diversified and Correct-by-Construction Broadcast Service Vincent Rahli, Nicolas Schiper, Robbert Van Renesse, Mark Bickford, and Robert L. Constable Cornell University, Computer Science DepartmentDocID: 1kSGi - View Document |
![]() | Robert L. Constable Curriculum Vitae September 9, 2014 PERSONAL DETAILS • Citizenship • Contacting AddressDocID: ypGG - View Document |
![]() | PDF DocumentDocID: 1htx - View Document |
![]() | PDF DocumentDocID: 176v - View Document |