Logic Programming in a Fragment of Intuitionistic Linear Logic

Joshua S. Hodas, Dale Miller

Browse the full LICS paper archive.