中文版
English
助研究員  |  陳亮廷  
 
contact
education
experience
interests
activities
invited_talk
honors
publications
Personal (New window)
 
 
 
 
 
Research Interests
 
  • Category Theory
  • Mathematical Logic
  • Programming Language
  • Theoretical Computer Science
  •  
     
    bg