Infinitary lambda calculus

This publication has 4 references indexed in Scilit:

• Transfinite Reductions in Orthogonal Term Rewriting Systems
  Information and Computation, 1995
• Full Abstraction in the Lazy Lambda Calculus
  Information and Computation, 1993
• Categorical Combinators, Sequential Algorithms, and Functional Programming
  Published by Springer Nature ,1993
• The Lambda Calculus - Its Syntax and Semantics
  Studies in Logic and the Foundations of Mathematics, 1984