9 results on '"Liang-Ting Chen"'
Search Results
2. A Formal Treatment of Bidirectional Typing.
3. A State-aware Method for Flows with Fairness on NVMe SSDs with Load Balance.
4. Realising Intensional S4 and GL Modalities.
5. An Algebraic Theory for Data Linkage.
6. Eilenberg Theorems for Free.
7. Profinite Monads, Profinite Equations, and Reiterman's Theorem.
8. Schützenberger Products in a Category.
9. A Fibrational Approach to Automata Theory.
Catalog
Books, media, physical & digital resources
Discovery Service for Jio Institute Digital Library
For full access to our library's resources, please sign in.