2 results
1 - Inference Systems
- from Part I - Foundations
-
- Book:
- Introduction to Choreographies
- Published online:
- 11 May 2023
- Print publication:
- 25 May 2023, pp 15-38
-
- Chapter
- Export citation
Canonical rules
-
- Journal:
- The Journal of Symbolic Logic / Volume 74 / Issue 4 / December 2009
- Published online by Cambridge University Press:
- 12 March 2014, pp. 1171-1205
- Print publication:
- December 2009
-
- Article
- Export citation