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

by
Olivier Laurent

Venue: | Typed Lambda Calculi and Applications '99 |

Citations: | 16 - 3 self |