Proofs as Processes
S. Abramsky
Details
| Book Title |
J. Theoretical Computer Science |
| Pages |
5−9 |
| Volume |
135 |
| Year |
1994 |
Links
Related pages
|
People |
S. Abramsky
| Book Title |
J. Theoretical Computer Science |
| Pages |
5−9 |
| Volume |
135 |
| Year |
1994 |
|
People |