Logic programming in a fragment of intuitionistic linear logic (1994)

by Joshua Hodas, Dale Miller
Venue:Information and Computation