Eilenberg theorems for free H Urbat, J Adámek, LT Chen, S Milius 42nd International Symposium on Mathematical Foundations of Computer Science …, 2017 | 34* | 2017 |
Profinite monads, profinite equations, and Reiterman’s theorem LT Chen, J Adámek, S Milius, H Urbat International Conference on Foundations of Software Science and Computation …, 2016 | 27 | 2016 |
A fibrational approach to automata theory LT Chen, H Urbat 6th Conference on Algebra and Coalgebra in Computer Science (CALCO 2015), 2015 | 9 | 2015 |
On a categorical framework for coalgebraic modal logic LT Chen, A Jung the 30th Conference on the Mathematical Foundations of Programming Semantics …, 2014 | 9 | 2014 |
On a purely categorical framework for coalgebraic modal logic LT Chen University of Birmingham, 2014 | 6 | 2014 |
Reiterman's Theorem on Finite Algebras for a Monad J Adamek, LT Chen, S Milius, H Urbat ACM Transactions on Computational Logic 22 (4), 1-48, 2021 | 5 | 2021 |
Schützenberger products in a category LT Chen, H Urbat International Conference on Developments in Language Theory, 89-101, 2016 | 5 | 2016 |
Realising intensional S4 and GL modalities LT Chen, HS Ko 30th EACSL Annual Conference on Computer Science Logic (CSL 2022), 2022 | 3 | 2022 |
An algebraic theory for data linkage LT Chen, M Roggenbach, JV Tucker Recent Trends in Algebraic Development Techniques: 24th IFIP WG 1.3 …, 2019 | 1 | 2019 |
A formal treatment of bidirectional typing LT Chen, HS Ko European Symposium on Programming, 115-142, 2024 | | 2024 |
Datatype-generic programming meets elaborator reflection HS Ko, LT Chen, TC Lin Proceedings of the ACM on Programming Languages 6 (ICFP), 225-253, 2022 | | 2022 |
Monadic typed tactic programming by reflection (extended abstract) LT Chen TyDe 2019 : 4th Workshop on Type-Driven Development, 2019 | | 2019 |
A final Vietoris coalgebra beyond compact spaces and a generalized Jónsson-Tarski duality LT Chen, A Jung CALCO Young Researchers Workshop CALCO-jnr 2011, 10, 2011 | | 2011 |