1 results
Jets and differential linear logic
-
- Journal:
- Mathematical Structures in Computer Science / Volume 30 / Issue 8 / September 2020
- Published online by Cambridge University Press:
- 24 November 2020, pp. 865-891
-
- Article
- Export citation