4 results
FIRST-ORDER HOMOTOPICAL LOGIC
- Part of
-
- Journal:
- The Journal of Symbolic Logic , First View
- Published online by Cambridge University Press:
- 18 September 2023, pp. 1-63
-
- Article
- Export citation
CATEGORICAL PROOF OF HOLOMORPHIC ATIYAH–BOTT FORMULA
- Part of
-
- Journal:
- Journal of the Institute of Mathematics of Jussieu / Volume 19 / Issue 5 / September 2020
- Published online by Cambridge University Press:
- 20 December 2018, pp. 1739-1763
- Print publication:
- September 2020
-
- Article
- Export citation
Bundle 2-Gerbes
-
- Journal:
- Proceedings of the London Mathematical Society / Volume 88 / Issue 2 / March 2004
- Published online by Cambridge University Press:
- 08 March 2004, pp. 405-435
- Print publication:
- March 2004
-
- Article
- Export citation
Rewriting on cyclic structures: Equivalence between the operational and the categorical description
-
- Journal:
- RAIRO - Theoretical Informatics and Applications / Volume 33 / Issue 4-5 / July 1999
- Published online by Cambridge University Press:
- 15 August 2002, pp. 467-493
- Print publication:
- July 1999
-
- Article
- Export citation