The Semantics and Proof Theory of Linear Logic (1988)

Cached

Download Links

by Arnon Avron
Venue:THEORETICAL COMPUTER SCIENCE
Citations:31 - 7 self