|
|
|
|
Invited Talks |
|
- From Datatype Genericity to Language Genericity, Leuven, Belgium, WG6 meeting of European Research Network on Formal Proofs (2024/04/05)
- Foundations of Mathematics, Topoi, and Functional Programming Languages, Taipei, Taiwan, Math Club, Department of Mathematics, National Taiwan University (2023/03)
|
|
|
|
|
|
|
 |
|
|
|