activity
20162022
most citedA Monadic Framework for Relational Verification: Applied to Information Security, Program Equivalence, and Optimizations

23 citations · 55 across the 6 of their papers we have counts for

collaborators
Showing math.CTShow all

1 paper · 1 filter

math.CT2022★ 2 cited

On the -topos semantics of homotopy type theory

Emily Riehl

Many introductions to homotopy type theory and the univalence axiom gloss over the semantics of this new formal system in traditional set-based foundations. This expository article…