A proof theoretical approach to communication
- 1 January 1997
- book chapter
- Published by Springer Nature
Abstract
No abstract availableKeywords
This publication has 8 references indexed in Scilit:
- A calculus of mobile processes, IPublished by Elsevier ,2004
- Objects in the π-CalculusInformation and Computation, 1995
- On the π-calculus and linear logicTheoretical Computer Science, 1994
- Proofs as processesTheoretical Computer Science, 1994
- Plain CHOCS A second generation calculus for higher order processesActa Informatica, 1993
- Functions as processesMathematical Structures in Computer Science, 1992
- Linear logicTheoretical Computer Science, 1987
- Call-by-name, call-by-value and the λ-calculusTheoretical Computer Science, 1975