Recursion theoretic operators and morphisms on numbered sets
by Barendregt, Hendrik Pieter, 1947- Published: 1981
Book
Lambda-isčislenije : jego sintaksis i semantika
by Barendregt, Hendrik Pieter, 1947- Published: 1985
Book