The Semantics and Proof Theory of Linear Logic (1988)

Cached

Download Links

by Arnon Avron
Venue:THEORETICAL COMPUTER SCIENCE
Citations:39 - 8 self