Proofs as processes
type: Item
instance of: scholarly article
title: Proofs as processes
zbMATH Open document ID: 0850.68297
DOI: 10.1016/0304-3975(94)00103-0
author: Samson Abramsky
published in: Theoretical Computer Science
publication date: 1996-07-17T00:00:00Z
review text: 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.
Mathematics Subject Classification ID: 68T20
Mathematics Subject Classification ID: 03B70
Mathematics Subject Classification ID: 03B20
zbMATH DE Number: 710238
Wikidata QID: Q57006884
MaRDI profile type: Publication
full work available at URL: 0304-3975(94)00103-0
OpenAlex ID: W2004063149
cites work: Computational interpretations of linear logic
cites work: New foundations for the geometry of interaction
cites work: Linear logic
cites work: Q3994895
cites work: Q3777424
cites work: Q3992568
cites work: Q4260379
cites work: Q4284230
cites work: A calculus of mobile processes. II
cites work: Q3922646
cites work: Completeness, invariance and λ-definability
DBLP publication ID: journals/tcs/Abramsky94
Recommended article: Proofs, Programs, Processes
Recommended article: Proofs, programs, processes
Recommended article: Proofs as Executions
Recommended article: Proofs as Spatio-Temporal Processes
Recommended article: Proofs as programs
Recommended article: Q3138828
Recommended article: Proofs as Objects
Recommended article: Q3022284
description: scientific article; zbMATH DE number 710238