Kyoko Kadowaki
80
Abonné
Personal Information
Entreprise/Lieu de travail
Bunkyo-ku, Tokyo, Japan
À propos
(⊛╹〰╹⊛)
Mots-clés
type theory
agda
ppl2016
proof theory
Tout plus
- Présentations
- Documents
- Infographies
Pas encore de fichiers enregistrés