Event Spaces and Their Linear Logic (1991)

Cached

Download Links

by Vaughan Pratt
Venue:In AMAST’91: Algebraic Methodology and Software Technology, Workshops in Computing
Citations:22 - 9 self