Isidore Mohr
where else to find them
no profile links on file
what they talk about
where they keep going back
- FARM2 editions2025–2026
on a stage with
- Claire Wangonce
who talks about the same things
nobody close enough yet
| title | conference | date |
|---|---|---|
| Demo: The Reduction of Girard’s Paradox as Music | FARM 2026 | 2026-08-24 |
Translates the reduction behavior of Girard’s paradox into sound by extending Soundproof from single-term rendering to reduction-based translation, implemented… | ||
| Composition: Building Community with Arts, Math, and Code (Experience Report) | FARM 2026 | 2026-08-24 |
Composition runs as a free community afternoon of arts math and code with explicit accessibility practices like free events and ADA accessible venues reachable… | ||
| Girard's Paradox as Structure Music | FARM 2025 | 2025-10-12 |
A system called Soundproof converts a Girard paradox proof term from lambda pi (bidirectional, de Bruijn indices) into a hierarchical call tree that maps node… | ||
| nothing matches | ||