Document Versions

Logic Programming in a Fragment of Intuitionistic Linear Logic –Joshua S. Hodas, Dale Miller
Logic Programming in a Fragment of Intuitionistic Linear Logic –Joshua Hodas, Dale Miller — 1994 — Information and Computation
Logic Programming in a Fragment of Intuitionistic Linear Logic: Extended Abstract –Joshua S. Hodas, Dale Miller — 1991 — Information and Computation
Logic Programming in a Fragment of Intuitionistic Linear Logic –Joshua Hodas, Dale Miller — 1994 — Information and Computation
Logic Programming in a Fragment of Intuitionistic Linear Logic –Joshua S. Hodas, Dale Miller — 1994 — Information and Computation