2 results
Abstract machines, optimal reduction, and streams
-
- Journal:
- Mathematical Structures in Computer Science / Volume 29 / Issue 9 / October 2019
- Published online by Cambridge University Press:
- 08 April 2019, pp. 1379-1410
-
- Article
- Export citation
Types and dynamics in partially additive categories
-
-
- Book:
- Idempotency
- Published online:
- 05 May 2010
- Print publication:
- 13 January 1998, pp 112-132
-
- Chapter
- Export citation