Robert J. Simmons:
Home
→
Papers
→
Linear Logical Algorithms
Moved to
Substructural Logic Programming
.
Validation is like typechecking your webpage!
XHTML
,
CSS