Lolli Implementation

This is preliminary home page for an implementation of Lolli, a logic programming language based on intuitionistic linear logic designed by Joshua Hodas and Dale Miller. The implementation technique is described in the paper below.

For related papers and other information, please see the author's home pages.