|
|
| |
| |
| 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)
|
| |
|
|
|
|
|
 |
|
|
|
