Login / Signup

lambda-nu, A Calculus of Explicit Substitutions which Preserves Strong Normalisation.

Zine-El-Abidine BenaissaDaniel BriaudPierre LescanneJocelyne Rouyer-Degli
Published in: J. Funct. Program. (1996)
Keyphrases
  • lambda calculus
  • fixed point
  • real time
  • automated deduction
  • neural network