A System of Interaction and Structure II: The Need for Deep Inference (2005)

Cached

Download Links

by Alwen Tiu
Venue:Logical Methods in Computer Science
Citations:13 - 1 self