A lambda-calculus à la de Bruijn with explicit substitutions (1995)

Cached

Download Links

by Fairouz Kamareddine , Alejandro Ríos
Citations:78 - 26 self

Document Versions

A lambda-calculus à la de Bruijn with explicit substitutions –Fairouz Kamareddine, Alejandro Ríos — 1995