Discovering needed reductions using type theory

This publication has 8 references indexed in Scilit:

• Discovering needed reductions using type theory
  Published by Springer Nature ,1994
• Editorial
  Journal of Logic and Computation, 1992
• The geometry of optimal lambda reduction
  Published by Association for Computing Machinery (ACM) ,1992
• An algorithm for optimal lambda calculus reduction
  Published by Association for Computing Machinery (ACM) ,1990
• Principal type scheme and unification for intersection type discipline
  Theoretical Computer Science, 1988
• Needed reduction and spine strategies for the lambda calculus
  Information and Computation, 1987
• Linear logic
  Theoretical Computer Science, 1987
• Relevance Logic and Entailment
  Published by Springer Nature ,1986