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
    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

    Identifiers