Skip navigation
中文
English
DSpace
CRIS
Home
Organizations
Researchers
Research Outputs
Projects
Explore by
Organizations
Researchers
Research Outputs
Projects
Academic & Publications
Help
Sign in
中文
English
Scholars Hub of the Academia Sinica
Academia Sinica
/
Division of Mathematics and Physical Sciences
/
Institute of Information Science
Institute of Information Science
View Statistics
Email Alert
RSS Feed
About
SubUnits
Researchers
78
Research Outputs
771
OrgUnit's Publications
469
Project
Researchers
(By Person)
Close filters
Refined By:
People:
chen, liang-ting
Results 1-1 of 1 (Search time: 0.001 seconds).
English Name
Chinese Name
Department
Research Field
Chen, Liang-Ting
陳亮廷
Institute of Information Science
Category Theory; Theoretical Computer Science; Mathematical Logic; Programming Language