Personal Information
Organization / Workplace
Bunkyo-ku, Tokyo, Japan
About
(⊛╹〰╹⊛)
Tags
type theory
agda
ppl2016
proof theory
See more
- Presentations
- Documents
- Infographics