DMCA

Curry--Howard terms for Linear Logic (1994)

Cached

Download Links

by David Albrecht Frank , Frank A. Bauerle , John N. Crossley , John S. Jeavons
Venue:In Logic Colloquium