Proofs as processes (1994)

by S Abramsky
Venue:TCS