Intuitionistic type theory - Document - PDFSEARCH.IO

First Page		Document Content
Date: 2012-02-02 15:56:23 Logic Type theory Combinatory logic Intuitionistic type theory Robert Lee Constable FO Theoretical computer science Mathematical logic Logic in computer science		Add to Reading List Source URL: www.nuprl.org Download Document from Source Website File Size: 59,40 KB Share Document on Facebook

	Proof Assistants and the Dynamic Nature of Formal Theories Robert L. Constable Cornell University Abstract DocID: 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 Department DocID: 1kSGi - View Document
	Robert L. Constable Curriculum Vitae September 9, 2014 PERSONAL DETAILS • Citizenship • Contacting Address DocID: ypGG - View Document
	PDF Document DocID: 1htx - View Document
	PDF Document DocID: 176v - View Document