Proofs as processes. Copy of transparencies (1991)

by Samson Abramsky