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: Extended abstract –Joshua S. Hodas, Dale Miller — 1991 — Sixth Annual Symposium on Logic in Computer Sci- ence, pages 32 - 42
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