Names are (mostly) Useless: Encoding Nominal Logic Programming Techniques with Use-counting and Dependent Types Jason Reed September 20, 2008 - Logic programming - Document - PDFSEARCH.IO

First Page	Meta Content
	Names are (mostly) Useless: Encoding Nominal Logic Programming Techniques with Use-counting and Dependent Types Jason Reed September 20, 2008 Add to Reading List Document Date: 2008-10-15 15:02:54 Open Document File Size: 159,46 KB Share Result on Facebook

Names are (mostly) Useless: Encoding Nominal Logic Programming Techniques with Use-counting and Dependent Types Jason Reed September 20, 2008Add to Reading List