Skip to main content

Proofs as Processes

S. Abramsky

Book Title
J. Theoretical Computer Science
Pages
5−9
Volume
135
Year
1994