A Non Functional Calculus: Linear Logic and Concurrency (2000)
Edit Page
Report
Scan day: 05 March 2014 UTC
22
Virus safety - good
Description: (CiteSeer) This paper proposes the *-calculus as an approach that unifies Abramsky's proofs-as-processes approach with Boudol and Berry's Chemical Abstract Machine approach.
CiteSeerX — A Non Functional Calculus: Linear Logic and Concurrency A Non Functional Calculus: Linear Logic and Concurrency (2000) by Corrado Priami , Ugo Solitro , Cristina Borboni     author = {Corrado Priami and Ugo Solitro and Cristina Borboni},
Size: 255 chars
Contact Information
Email: —
Phone&Fax: —
Address: —
Extended: —
WEBSITE Info
| Page title: | CiteSeerX — A Non Functional Calculus: Linear Logic and Concurrency |
| Keywords: | CiteSeerX, Corrado Priami, Ugo Solitro, Cristina Borboni |
| Description: | CiteSeerX - Document Details (Isaac Councill, Lee Giles, Pradeep Teregowda): this paper to an interaction mechanism inspired to the computational behaviour of proof nets, a deduction system of linear logic [7]. In this setting the conclusion of a derivation is the type of the corresponding proof net. The computational mechanism is cut elimination that can only occur between terms with the same type. The relationship between proof nets and processes have already been studied in the literature. Abramsky interprets proof as processes and consider a cut-elimination as communication paradigm [1]. Similar typed calculi based on linear logic where developed also by Solitro and Valentini [13, 14]. Yuxi Fu [6] studies a computational model in which the role of process and proofs is reversed with respect to the Abramsky's view. The corresponding paradigm is thus communication as cut-elimination for classical proofs. Bellin and Scott implements the cut-elimination of linear logic in the -calculus. We here push forward the work in [13, 14] where : : : . Our approach differ from the one mentioned above in that we move from the mentioned calculi for linear logic and borrow some ideas from cham by Berry and Boudol [3]. |
| IP-address: | 130.203.136.95 |
WHOIS Info
| NS | Name Servers: NS1.PSU.EDU 128.118.25.6 NS2.PSU.EDU 128.118.70.6 |
| WHOIS | |
| Date | activated: 14-Jul-1986 last updated: 22-May-2013 expires: 31-Jul-2014 |