28 citations · 116 across the 28 of their papers we have counts for
Showing 2023 · cs.LOShow all
2 papers · 2 filters
cs.LO2023
Towards univalent reference types
Jonathan Sterling, Daniel Gratzer, Lars Birkedal
We develop a denotational semantics for general reference types in an impredicative version of guarded homotopy type theory, an adaptation of synthetic guarded domain theory to Voe…
cs.LO2023
Towards a geometry for syntax
Jonathan Sterling
It often happens that free algebras for a given theory satisfy useful reasoning principles that are not preserved under homomorphisms of algebras, and hence need not hold in an arb…