alpha-Prolog: A Logic Programming Language with Names, Binding and a-Equivalence.

James Cheney, Christian Urban

Browse the full ICLP paper archive.