The π-calculus as a theory in linear logic: Preliminary results
- 1 January 1993
- book chapter
- Published by Springer Nature
- p. 242-264
- https://doi.org/10.1007/3-540-56454-3_13
Abstract
No abstract availableKeywords
This publication has 10 references indexed in Scilit:
- A logic program for transforming sequent proofs to natural deduction proofsPublished by Springer Nature ,2006
- Abstract syntax and logic programmingPublished by Springer Nature ,1992
- Linear objects: Logical processes with built-in inheritanceNew Generation Computing, 1991
- Uniform proofs as a foundation for logic programmingAnnals of Pure and Applied Logic, 1991
- Modal logics for mobile processesPublished by Springer Nature ,1991
- Higher-order Horn clausesJournal of the ACM, 1990
- A logical analysis of modules in logic programmingThe Journal of Logic Programming, 1989
- Observation equivalence as a testing equivalenceTheoretical Computer Science, 1987
- Linear logicTheoretical Computer Science, 1987
- Normalization as a homomorphic image of cut-eliminationAnnals of Mathematical Logic, 1977