United States Deputy Attorney General - Document - PDFSEARCH.IO

First Page	Meta Content
	Remarks on A Formulae-as-Types Notion of Control Timothy G. Griffin Computer Laboratory University of Cambridge, UK Add to Reading List Document Date: 2013-09-22 09:55:54 Open Document File Size: 559,65 KB Share Result on Facebook City Venice / / / Facility Computer Laboratory University of Cambridge / / Organization University of Cambridge / / Person Matthias Felleisen / Timothy G. Griffin / / ProvinceOrState Texas / / SocialTag Philosophy of computer science Proof theory Type theory Computer science Matthias Felleisen Matthias Mathematics Philosophy of mathematics Curry–Howard correspondence Dependently typed programming

Remarks on A Formulae-as-Types Notion of Control Timothy G. Griffin Computer Laboratory University of Cambridge, UKAdd to Reading List