Institutional Repository

Browsing by Author "Seldin, Jonathan"

DSpace/Manakin Repository

Browsing by Author "Seldin, Jonathan"

Sort by: Order: Results:

  • Deshpande, Sushant; University of Lethbridge. Faculty of Arts and Science (Lethbridge, Alta. : University of Lethbridge, Dept. of Mathematics and Computer Science, c2009Arts and ScienceDepartment of Mathematics and Computer Science, 2009)
    Even though lambda calculus (λ-calculus) and combinatory logic (CL) appear to be equivalent, they are not. As yet we do not have a reduction in CL which corresponds to β-reduction in λ-calculus. There are three proposals ...