Browsing University Archives by Subject "Lambda calculus"

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 ...

Search OPUS

Advanced Search


My Account