Valeria de Paiva vcvpaiva

💭

working, as much as possible, as usual

I am a mathematician and AI Research Scientist. My research interests include category theory, type theories, semantics of NL and lexical semantics.

vcvpaiva / Dialectica.lagda.md

Last active June 10, 2024 16:12 — forked from TOTBWF/Dialectica.lagda.md

Dialectica Categories with Valeria

description
Dialectica categories with Valeria June 4th, 2024 at the HIM trimester. Created by Reed Mullanix, comments by vcvp (trying to understand).