Extending a lambda-calculus with Explicit Substitution which Preserves Strong Normalisation into a Confluent Calculus on Open Terms (1993)

Cached

Download Links

by Fairouz Kamareddine
Citations:7 - 0 self