Jonathan Sterling

Registered user since Thu 26 Aug 2021

Name:Jonathan Sterling
Country:Denmark
Affiliation:Aarhus University
Research interests:semantics, type theory, category theory, topos theory

Contributions

WITS 2022 Make Three To Throw Away: Frontiers in Homotopical Proof Assistants
POPL 2022 A Cost-Aware Logical Framework
Show activities from other conferences

POPL 2022-profile
View general profile