A sequent calculus for opetopes CH Thanh, PL Curien, S Mimram 2019 34th Annual ACM/IEEE Symposium on Logic in Computer Science (LICS), 1-12, 2019 | 37 | 2019 |
FreneticV at the SBST 2022 tool competition E Castellano, S Klikovits, A Cetinkaya, P Arcaini Proceedings of the 15th Workshop on Search-Based Software Testing, 47-48, 2022 | 29 | 2022 |
Syntactic approaches to opetopes PL Curien, CH Thanh, S Mimram arXiv preprint arXiv:1903.05848, 2019 | 10 | 2019 |
A sequent calculus for opetopes PL Curien, CH Thanh, S Mimram Proceedings of the Thirty-Fourth Annual ACM/IEEE Symposium on Logic in …, 2019 | 5 | 2019 |
The equivalence between many-to-one polygraphs and opetopic sets CH Thanh arXiv preprint arXiv:1806.08645, 2018 | 5 | 2018 |
The equivalence between opetopic sets and many-to-one polygraphs CH Thanh arXiv preprint arXiv:1806.08645, 2018 | 5 | 2018 |
Opetopes: syntactic and algebraic aspects CH Thanh Université de Paris, 2020 | 2 | 2020 |
Type theoretical approaches to opetopes CH Thanh, PL Curien, S Mimram Higher Structures 6 (1), 80-181, 2022 | 1 | 2022 |
Opetopic algebras III: Presheaf models of homotopy-coherent opetopic algebras CH Thanh, CL Subramaniam arXiv preprint arXiv:2001.07924, 2020 | 1 | 2020 |
Recurrence Theorems for Topological Markov Chains CH Thanh, N Urabe, I Hasuo | | 2022 |
HIGHER CH Thanh, CL Subramaniam | | 2022 |
STABILITY OF LAWVERE THEORIES CHO THANH | | 2021 |
Syntactical approaches to opetopes PL Curien, CH Thanh, S Mimram | | 2019 |
HIGHER PL Curien, J Obradović | | 2017 |
Quasi categories CH Thanh | | 2014 |
About Opetopes CH Thanh | | |
SYNTACTIC APPROACH TO OPETOPIC CATEGORIES CHO THANH | | |