Kyoko Kadowaki
80
Seguidores
Personal Information
Organização/Local de trabalho
Bunkyo-ku, Tokyo, Japan
Sobre
(⊛╹〰╹⊛)
Marcadores
type theory
agda
ppl2016
proof theory
Ver mais
- Apresentações
- Documentos
- Infográficos