$$\lambda $$ λ to SKI, Semantically

Functional and Logic Programming - Lecture Notes in Computer Science ◽

10.1007/978-3-319-90686-7_3 ◽

2018 ◽

pp. 33-50 ◽

Author(s):

Oleg Kiselyov

Download Full-text