Follow
Liang-Ting Chen
Liang-Ting Chen
Institute of Information Science, Academia Sinica
Verified email at iis.sinica.edu.tw - Homepage
Title
Cited by
Cited by
Year
Eilenberg theorems for free
H Urbat, J Adámek, LT Chen, S Milius
42nd International Symposium on Mathematical Foundations of Computer Science …, 2017
29*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
242016
A fibrational approach to automata theory
LT Chen, H Urbat
6th Conference on Algebra and Coalgebra in Computer Science (CALCO 2015), 2015
92015
On a categorical framework for coalgebraic modal logic
LT Chen, A Jung
the 30th Conference on the Mathematical Foundations of Programming Semantics …, 2014
72014
On a purely categorical framework for coalgebraic modal logic
LT Chen
University of Birmingham, 2014
62014
Schützenberger products in a category
LT Chen, H Urbat
International Conference on Developments in Language Theory, 89-101, 2016
52016
Realising Intensional S4 and GL Modalities
LT Chen, HS Ko
30th EACSL Annual Conference on Computer Science Logic (CSL 2022), 2022
12022
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
2021
Monadic typed tactic programming by reflection (extended abstract)
LT Chen
TyDe 2019 : 4th Workshop on Type-Driven Development, 2019
2019
An algebraic theory for data linkage
LT Chen, M Roggenbach, JV Tucker
International Workshop on Algebraic Development Techniques, 47-66, 2018
2018
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
The system can't perform the operation now. Try again later.
Articles 1–11