Follow
CÚdric Ho Thanh
CÚdric Ho Thanh
Verified email at riken.jp - Homepage
Title
Cited by
Cited by
Year
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
372019
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
312022
Syntactic approaches to opetopes
PL Curien, CH Thanh, S Mimram
arXiv preprint arXiv:1903.05848, 2019
112019
A sequent calculus for opetopes
PL Curien, CH Thanh, S Mimram
Proceedings of the Thirty-Fourth Annual ACM/IEEE Symposium on Logic iná…, 2019
52019
The equivalence between many-to-one polygraphs and opetopic sets
CH Thanh
arXiv preprint arXiv:1806.08645, 2018
52018
The equivalence between opetopic sets and many-to-one polygraphs
CH Thanh
arXiv preprint arXiv:1806.08645, 2018
52018
Opetopes: syntactic and algebraic aspects
CH Thanh
UniversitÚ de Paris, 2020
32020
Type theoretical approaches to opetopes
CH Thanh, PL Curien, S Mimram
Higher Structures 6 (1), 80-181, 2022
22022
Opetopic algebras III: Presheaf models of homotopy-coherent opetopic algebras
CH Thanh, CL Subramaniam
arXiv preprint arXiv:2001.07924, 2020
12020
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
The system can't perform the operation now. Try again later.
Articles 1–17