Valeria de Paiva
Logician, category theorist, semanticist. Likes to understand life mathematically, please.
- Thank you Pedro Abreu and friends for my first podcast as part of Type Theory Forall. Great title. I had a great time! www.youtube.com/watch?v=HVMx...
- Check out our line-up of Women in Logic ONLINE videos. The last one by Elaine Pimentel,last Tuesday, hasn't been uploaded yet. www.youtube.com/playlist?lis...