Barendregt, H. P.
Lambda calculus its syntax and semantics H.P. Barendregt - Rev. ed. - New York North-Holland 1984 - xv, 621 p. ill. 23 cm.
Vol. - 103
Includes bibliographies
0444867481
Lambda calculus
517.3 / BAR/1984
Lambda calculus its syntax and semantics H.P. Barendregt - Rev. ed. - New York North-Holland 1984 - xv, 621 p. ill. 23 cm.
Vol. - 103
Includes bibliographies
0444867481
Lambda calculus
517.3 / BAR/1984