Jonathan Sterling

Registered user since Thu 26 Aug 2021

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

Contributions

POPL 2022 A cost-aware logical framework
Show activities from other conferences

Using general profile