Cover Image
Read Now

1
by Curien, P.-L.
Published 1993
Birkhäuser
“... are similar in spirit to the categorical combinatory logic, but are closer to the syntax of A-calculus...”