Advertisement

β-Reductions and β-developments of λ-terms with the least number of steps

  • Zurab O. Khasidashvili
Conference paper
Part of the Lecture Notes in Computer Science book series (LNCS, volume 417)

Preview

Unable to display preview. Download preview PDF.

Unable to display preview. Download preview PDF.

References

  1. 1.
    Barendregt H.P.: The Lambda Calculus. North Holland Amsterdam, (1961)Google Scholar

Copyright information

© Springer-Verlag Berlin Heidelberg 1990

Authors and Affiliations

  • Zurab O. Khasidashvili
    • 1
  1. 1.Institute of Applied MathematicsTbilisi UniversityTbilisi 43

Personalised recommendations