Robert J. Simmons: Home → Papers →

Linear Logical Algorithms

Moved to Substructural Logic Programming.

Validation is like typechecking your webpage! XHTML, CSS