\(\lambda\) to SKI, semantically -- declarative pearl

DOI10.1007/978-3-319-90686-7_3OpenAlexW2801769268MaRDI QIDQ1648865

Oleg Kiselyov

Publication date: 9 July 2018

Full work available at URL: https://doi.org/10.1007/978-3-319-90686-7_3

Mathematics Subject Classification ID

Functional programming and lambda calculus (68N18)

Related Items (3)

A correct-by-construction conversion from lambda calculus to combinatory logic ⋮ The full-reducing Krivine abstract machine KN simulates pure normal-order reduction in lockstep: A proof via corresponding calculus ⋮ Deriving Efficient Sequential and Parallel Generators for Closed Simply-Typed Lambda Terms and Normal Forms

This page was built for publication: \(\lambda\) to SKI, semantically -- declarative pearl