Jonathan Sterling

1. Bidirectional Elaborators à la Carte
   2026/07/10 by Andrew Slattery, Jonathan Sterling · 2 voices
   #cs.PL #cs.LO
2. Algebraic Type Theory and Universe Hierarchies
   2019/02/23 by Jonathan Sterling, Sterling, Jonathan · 1 citation
   Computer Science · Mathematics · #FOS: Computer and information sciences #FOS: Mathematics #Homotopy and Cohomology in Algebraic Topology #Logic (math.LO) #Logic in Computer Science (cs.LO) #Logic, Reasoning, and Knowledge #Logic, programming, and type systems
3. Denotational semantics of general store and polymorphism
   2022/10/05 by Jonathan Sterling, Daniel Gratzer, Sterling, Jonathan +3 · 1 citation
   Computer Science · #Semantic Web and Ontologies #Logic, Reasoning, and Knowledge #Logic, programming, and type systems