![](https://www.pdfsearch.io/img/cd4c8e75c264bb2450ad8385b6365f6b.jpg) Date: 2012-08-10 19:21:16
| | αKanren A Fresh Name in Nominal Logic Programming William E. Byrd and Daniel P. Friedman Department of Computer Science, Indiana University, Bloomington, IN 47408 {webyrd,dfried}@cs.indiana.eduAdd to Reading ListSource URL: repository.readscheme.orgDownload Document from Source Website File Size: 503,44 KBShare Document on Facebook
|