2 results
General conditions for full abstraction
-
- Journal:
- Mathematical Structures in Computer Science / Volume 26 / Issue 4 / May 2016
- Published online by Cambridge University Press:
- 10 November 2014, pp. 655-657
-
- Article
- Export citation
Higher-order psi-calculi†
-
- Journal:
- Mathematical Structures in Computer Science / Volume 24 / Issue 2 / April 2014
- Published online by Cambridge University Press:
- 24 June 2013, e240203
-
- Article
- Export citation