First Page | Document Content | |
---|---|---|
Date: 2013-09-22 09:55:54 | Remarks on A Formulae-as-Types Notion of Control Timothy G. Griffin Computer Laboratory University of Cambridge, UKAdd to Reading ListSource URL: www.pps.univ-paris-diderot.frDownload Document from Source WebsiteFile Size: 559,65 KBShare Document on Facebook |