Proofs as processes (Q1342245)
From MaRDI portal
 | This is the item page for this Wikibase entity, intended for internal use and editing purposes. Please use this page instead for the normal view: Proofs as processes |
scientific article; zbMATH DE number 710238
| Language | Label | Description | Also known as |
|---|---|---|---|
| English | Proofs as processes |
scientific article; zbMATH DE number 710238 |
Statements
Proofs as processes (English)
0 references
17 July 1996
0 references
This paper serves as an introduction to the paper by \textit{G. Bellin} and \textit{P. Scott} [ibid. 135, 11-65 (1994; Zbl 0817.03001)] giving some background of the developments due to the author and its relations to the cited authors.
0 references
0 references
0 references
0 references
