Logic Programming in Intuitionistic Linear Logic: Theory, Design and Implementation (1994)

by J S Hodas