Proofs for “Integrating Dependent and Linear Types” Neel Krishnaswami, Pierre Pradic, and Nick Benton July 8, 2014 1

First Page		Document Content
Date: 2014-07-09 06:21:50		Proofs for “Integrating Dependent and Linear Types” Neel Krishnaswami, Pierre Pradic, and Nick Benton July 8, 2014 1 Add to Reading List Source URL: www.mpi-sws.org Download Document from Source Website File Size: 336,19 KB Share Document on Facebook