Login / Signup
Extending a lambda-Calculus with Explicit Substitution which Preserves Strong Normalisation Into a Confluent Calculus on Open Terms.
Fairouz Kamareddine
Alejandro Ríos
Published in:
J. Funct. Program. (1997)
Keyphrases
</>
lambda calculus
programming language
co occurrence
complex objects
predicate calculus