Kyoko Kadowaki
80
Seguidores
Personal Information
Organización/Lugar de trabajo
Bunkyo-ku, Tokyo, Japan
Acerca de
(⊛╹〰╹⊛)
Etiquetas
type theory
agda
ppl2016
proof theory
Ver más
- Presentaciones
- Documentos
- Infografías