First Page | Document Content | |
---|---|---|
Date: 2008-10-15 15:02:54 | Names are (mostly) Useless: Encoding Nominal Logic Programming Techniques with Use-counting and Dependent Types Jason Reed September 20, 2008Add to Reading ListSource URL: www.cis.upenn.eduDownload Document from Source WebsiteFile Size: 159,46 KBShare Document on Facebook |