Proofs as processes (Q1342245)
From MaRDI portal
scientific article
Language | Label | Description | Also known as |
---|---|---|---|
English | Proofs as processes |
scientific article |
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