Valeria de Paiva
where else to find them
website:http://vcvpaiva.github.io/
github:vcvpaiva
bluesky:valeriadepaiva.bsky.social
speakerdeck:vcvpaiva
what they talk about
where they keep going back
no series more than once — all 2 in the filters
on a stage with
never shared a talk
who talks about the same things
- Philip Wadler14 talks
- Vlad Patryshev11 talks
- Andreas Abel6 talks
- Katherine Ye2 talks
- Stephan Boyer4 talks
- Sharon Shoham13 talks
| title | conference | date |
|---|---|---|
| War Time Proofs and Futuristic Programs | PWLConf 2023 | 2023-09-21 |
Claims that Gödel’s Dialectica interpretation yields a concrete type‑theory bridge to linear logic and that the 1940s construction can be modeled… | ||
| War Time Proofs and Futuristic Programs | Strange Loop 2023 | 2023-09-21 |
Claims that Gödel’s Dialectica interpretation gives a concrete Curry–Howard variant and that a categorical construction (given in 1988 and extended since)… | ||
| nothing matches | ||