Login / Signup
lambda-nu, A Calculus of Explicit Substitutions which Preserves Strong Normalisation.
Zine-El-Abidine Benaissa
Daniel Briaud
Pierre Lescanne
Jocelyne Rouyer-Degli
Published in:
J. Funct. Program. (1996)
Keyphrases
</>
lambda calculus
fixed point
real time
automated deduction
neural network