Login / Signup

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

James CheneyChristian Urban
Published in: ICLP (2004)
Keyphrases