A logic programming language with lambda-abstraction, function variables, and simple unification
Published in Lecture notes in computer science • Jan 25, 2006
Authors:
Dale Miller
Finding related papers...
Discussions
(0)No comments yet
Be the first to share your thoughts!