Paper
From type theory to setoids and back
-
- Published online by Cambridge University Press:
- 12 April 2023, pp. 1283-1312
-
- Article
-
- You have access
- HTML
- Export citation
Monoidal reverse differential categories
-
- Published online by Cambridge University Press:
- 20 February 2023, pp. 1313-1363
-
- Article
-
- You have access
- Open access
- HTML
- Export citation