Proof Nets and the λ-calculus (2004)

Cached

Download Links

by Stefano Guerrini
Venue:Linear Logic in Computer Science, 65–118
Citations:1 - 0 self