Generalized Beta-Reduction and Explicit Substitutions (1996)

Cached

Download Links

by Fairouz Kamareddine , Alejandro Ríos