Liang-Ting Chen
Liang-Ting Chen
Department of Computer Science, Swansea University
Verified email at swansea.ac.uk - Homepage
TitleCited byYear
Profinite Monads, Profinite Equations, and Reiterman's Theorem
LT Chen, J Adamek, S Milius, H Urbat
arXiv preprint arXiv:1511.02147. Accepted for presentation at FoSSaCS'16, 2016
182016
Eilenberg Theorems for Free
H Urbat, J Adámek, LT Chen, S Milius
arXiv preprint arXiv:1602.05831; Accepted for presentation at MFCS'17, 2017
14*2017
A Fibrational Approach to Automata Theory
LT Chen, H Urbat
6th Conference on Algebra and Coalgebra in Computer Science (CALCO 2015) 35 …, 2015
62015
On a categorical framework for coalgebraic modal logic
LT Chen, A Jung
30th Conference on the Mathematical Foundations of Programming Semantics …, 2014
62014
Schützenberger products in a category
LT Chen, H Urbat
arXiv preprint arXiv:1605.01810. Accepted for presentation at DLT'16, 2016
42016
On a purely categorical framework for coalgebraic modal logic
LT Chen
University of Birmingham, 2014
42014
An algebraic theory for data linkage
LT Chen, M Roggenbach, JV Tucker
International Workshop on Algebraic Development Techniques, 47-66, 2018
2018
Profinite Monads and Reiterman’s Theorem
J Adámek, LT Chen, S Milius, H Urbat
The system can't perform the operation now. Try again later.
Articles 1–8