Proofs, Lambda Terms and Control Operators (1995)

by Helmut Schwichtenberg