Mihejevs, Zanzi
- Canonical bidirectional typechecking
2025/12/08 by Mihejevs, Zanzi, Hedges, Jules · 1 citation
Computer Science · Mathematics · #Logic, programming, and type systems #Formal Methods in Verification #Homotopy and Cohomology in Algebraic Topology