A lambda-calculus à la de Bruijn with explicit substitutions (1995)
by
Fairouz Kamareddine
,
Alejandro Ríos
| Citations: | 72 - 24 self |
Document Versions
| A lambda-calculus à la de Bruijn with explicit substitutions –Fairouz Kamareddine, Alejandro Ríos — 1995 |
