The following pages link to Liang-Ting Chen (Q283746):
Displaying 7 items.
- On a categorical framework for coalgebraic modal logic (Q283748) (← links)
- An algebraic theory for data linkage (Q2185883) (← links)
- Profinite Monads, Profinite Equations, and Reiterman’s Theorem (Q2811362) (← links)
- Schützenberger Products in a Category (Q2817378) (← links)
- Eilenberg Theorems for Free (Q5111258) (← links)
- A Fibrational Approach to Automata Theory (Q5275343) (← links)
- (Q6124945) (← links)
