Chinese
English
Assistant Research Fellow/Professor  |  Chen, Liang-Ting  
 
contact
education
experience
interests
activities
invited_talk
honors
publications
Personal (New window)
 
 
 
 
 
Invited Talks
 
  1. From Datatype Genericity to Language Genericity, Leuven, Belgium, WG6 meeting of European Research Network on Formal Proofs (2024/04/05)
  2. Foundations of Mathematics, Topoi, and Functional Programming Languages, Taipei, Taiwan, Math Club, Department of Mathematics, National Taiwan University (2023/03)
 
 
bg