Proofs as processes. Unpublished Lecture (1991)

by S Abramsky