Logic programming in a fragment ofintuitionistic linear logic: Extended abstract (1991)

by Joshua Hodas, Dale Miller
Venue:Sixth Annual Symposium on Logic in Computer Science