Proofs as processes (1994)

by Samson Abramsky
Venue:In Theoretical Computer Science