Graph explorer

Jonathan Sterling

Jonathan Sterling contributes to research discovery and scholarly infrastructure.

12 nodes11 linksoverview mapJonathan Sterling
12 nodes11 links
Jonathan Sterling12 visible / 12 total nodes / 11 links
AuthorshipAuthorshipAuthorshipAuthorshipAuthorshipAuthorshipAuthorshipAuthorshipAuthorshipAuthorshipAuthorshipAJonathan SterlingResearcherWBilimits in categories ...preprint / 2022WHigher-Order Functions ...preprint / 2021WLogical Relations as Ty...preprint / 2021WNormalization for Cubic...preprint / 2021WSheaf semantics of term...preprint / 2022WRemark on the hypotheti...preprint / 2015WSyntax and Semantics of...preprint / 2016WNominal LCF: A Language...preprint / 2016WType Theory and its Mea...preprint / 2016WDependent Types for Pra...preprint / 2015WThe directed plump orde...preprint / 2022
PersonSignal 1011 links

Jonathan Sterling

Researcher

Open