Explicit Substitutions for the λΔ-calculus

Cached

Download Links

by Gilles Barthe , Fairouz Kamareddine , Alejandro Ríos