Alpha-Prolog: A Logic Programming Language with Names, Binding, and Alpha-Equivalence (2004)

by James Cheney , Christian Urban
Citations:35 - 9 self

Document Versions

Alpha-Prolog: A Logic Programming Language with Names, Binding, and Alpha-Equivalence –James Cheney, Christian Urban — 2004