Proof-Carrying Code in a Session-Typed Process Calculus Frank Pfenning1 , Luis Caires2 , and Bernardo Toninho1,2 1 2 - Proof-carrying code - Document - PDFSEARCH.IO

First Page	Meta Content
	Proof-Carrying Code in a Session-Typed Process Calculus Frank Pfenning1 , Luis Caires2 , and Bernardo Toninho1,2 1 2 Add to Reading List Document Date: 2012-09-27 14:27:13 Open Document File Size: 327,81 KB Share Result on Facebook

Proof-Carrying Code in a Session-Typed Process Calculus Frank Pfenning1 , Luis Caires2 , and Bernardo Toninho1,2 1 2Add to Reading List