Polarized Proof-Nets: Proof-Nets for LC (Extended Abstract) (1999)

Cached

Download Links

by Olivier Laurent
Venue:Typed Lambda Calculi and Applications '99
Citations:16 - 3 self