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

by Joshua S Hodas