Genericity and the π-Calculus
- 28 February 2003
- book chapter
- Published by Springer Nature
- p. 103-119
- https://doi.org/10.1007/3-540-36576-1_7
Abstract
No abstract availableKeywords
This publication has 14 references indexed in Scilit:
- Typed concurrent objectsPublished by Springer Nature ,2006
- A uniform type structure for secure information flowACM SIGPLAN Notices, 2002
- On Full Abstraction for PCF: I, II, and IIIInformation and Computation, 2000
- Behavioral equivalence in the polymorphic pi-calculusJournal of the ACM, 2000
- Parametric polymorphism and operational equivalenceMathematical Structures in Computer Science, 2000
- Game-theoretic analysis of call-by-value computationTheoretical Computer Science, 1999
- Existential types: Logical relations and operational equivalencePublished by Springer Nature ,1998
- Formal parametric polymorphismTheoretical Computer Science, 1993
- On the Equivalence of Data RepresentationsPublished by Elsevier ,1991
- Linear logicTheoretical Computer Science, 1987