Canonical typing and Π-conversion (1997)
by
Fairouz Kamareddine
,
Rob Nederpelt
| Citations: | 3 - 3 self |
Document Versions
| Canonical typing and Π-conversion –Fairouz Kamareddine, Rob Nederpelt — 1997 |
