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
162016
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
9*2017
A Fibrational Approach to Automata Theory
LT Chen, H Urbat
6th Conference on Algebra and Coalgebra in Computer Science (CALCO 2015) 35 …, 2015
72015
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 categorical framework for coalgebraic modal logic
LT Chen, A Jung
30th Conference on the Mathematical Foundations of Programming Semantics …, 2014
42014
On a purely categorical framework for coalgebraic modal logic
LT Chen
University of Birmingham, 2014
42014
The system can't perform the operation now. Try again later.
Articles 1–6