Liang-Ting Chen

According to our database, Liang-Ting Chen authored at least 14 papers between 2014 and 2026.

Collaborative distances:

• Dijkstra number of four.
• Erdős number of four.

2026

Folding the Heighway dragon curve.

Ting-Wu Chang, Liang-Ting Chen, Shin-Cheng Mu

CoRR, March, 2026

Can We Formalise Type Theory Intrinsically without Any Compromise? A Case Study in Cubical Agda.

Liang-Ting Chen, Fredrik Nordvall Forsberg, Tzu-Chun Tsai

Proceedings of the 15th ACM SIGPLAN International Conference on Certified Programs and Proofs, 2026

2024

A Formal Treatment of Bidirectional Typing.

Liang-Ting Chen, Hsiang-Shang Ko

Proceedings of the Programming Languages and Systems, 2024

2022

Datatype-generic programming meets elaborator reflection.

Hsiang-Shang Ko, Liang-Ting Chen, Tzu-Chi Lin

Proc. ACM Program. Lang., 2022

Realising Intensional S4 and GL Modalities.

Liang-Ting Chen, Hsiang-Shang Ko

Proceedings of the 30th EACSL Annual Conference on Computer Science Logic, 2022

2021

Reiterman's Theorem on Finite Algebras for a Monad.

Jirí Adámek, Liang-Ting Chen, Stefan Milius, Henning Urbat

ACM Trans. Comput. Log., 2021

2018

An Algebraic Theory for Data Linkage.

Liang-Ting Chen, Markus Roggenbach, John V. Tucker

Proceedings of the Recent Trends in Algebraic Development Techniques, 2018

2017

Eilenberg Theorems for Free.

Henning Urbat, Jirí Adámek, Liang-Ting Chen, Stefan Milius

Proceedings of the 42nd International Symposium on Mathematical Foundations of Computer Science, 2017

2016

One Eilenberg Theorem to Rule Them All.

Henning Urbat, Jirí Adámek, Liang-Ting Chen, Stefan Milius

CoRR, 2016

Profinite Monads, Profinite Equations, and Reiterman's Theorem.

Liang-Ting Chen, Jirí Adámek, Stefan Milius, Henning Urbat

Proceedings of the Foundations of Software Science and Computation Structures, 2016

Schützenberger Products in a Category.

Liang-Ting Chen, Henning Urbat

Proceedings of the Developments in Language Theory - 20th International Conference, 2016

2015

A Fibrational Approach to Automata Theory.

Liang-Ting Chen, Henning Urbat

Proceedings of the 6th Conference on Algebra and Coalgebra in Computer Science, 2015

2014

On a purely categorical framework for coalgebraic modal logic.

Liang-Ting Chen

PhD thesis, 2014

On a Categorical Framework for Coalgebraic Modal Logic.

Liang-Ting Chen, Achim Jung

Proceedings of the 30th Conference on the Mathematical Foundations of Programming Semantics, 2014