Robert J. Simmons: HomePapers

Linear Logical Algorithms

Moved to Substructural Logic Programming.