Robert L. Constable Curriculum Vitae September 9, 2014 PERSONAL DETAILS • Citizenship • Contacting Address - Kevin Smith - Document - PDFSEARCH.IO

First Page		Document Content
Date: 2014-09-09 13:38:19 Logic in computer science Formal sciences Dependently typed programming Type theory Robert Lee Constable Logic programming Mathematical logic Orc Curry–Howard correspondence Mathematics Theoretical computer science Logic		Robert L. Constable Curriculum Vitae September 9, 2014 PERSONAL DETAILS • Citizenship • Contacting Address Add to Reading List Source URL: www.cs.cornell.edu Download Document from Source Website File Size: 130,76 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