A Formulae-as-Types Notion of Control Timothy G. Griffin* Department of Computer Science Rice University Houston, TX - United States Deputy Attorney General - Document - PDFSEARCH.IO

First Page	Meta Content
	A Formulae-as-Types Notion of Control Timothy G. Griffin* Department of Computer Science Rice University Houston, TX Add to Reading List Document Date: 2011-10-04 07:32:04 Open Document File Size: 1,00 MB Share Result on Facebook

A Formulae-as-Types Notion of Control Timothy G. Griffin* Department of Computer Science Rice University Houston, TXAdd to Reading List