Jonathan Sterling

Available identifiers

Publication	Date of Publication	Type
Sheaf semantics of termination-insensitive noninterference	2024-05-27	Paper
Towards a geometry for syntax	2023-07-18	Paper
What should a generic object be?	2023-07-13	Paper
Logical Relations as Types: Proof-Relevant Parametricity for Program Modules	2022-12-08	Paper
Classifying topoi in synthetic guarded domain theory	2022-10-10	Paper
https://portal.mardi4nfdi.de/entity/Q5094128	2022-08-02	Paper
https://portal.mardi4nfdi.de/entity/Q5089034	2022-07-18	Paper
Strict universes for Grothendieck topoi	2022-02-24	Paper
Bilimits in categories of partial maps	2022-02-17	Paper
The directed plump ordering	2022-02-15	Paper
Higher order functions and Brouwer’s thesis	2021-12-13	Paper
Normalization for Cubical Type Theory	2021-01-27	Paper
Guarded Computational Type Theory	2021-01-20	Paper
A Cubical Language for Bishop Sets	2020-03-03	Paper
Cubical Syntax for Reflection-Free Extensional Equality	2019-04-17	Paper
Algebraic Type Theory and Universe Hierarchies	2019-02-23	Paper
Higher-Order Functions and Brouwer's Thesis	2016-08-11	Paper
Remark on the hypothetical judgment	2015-08-07	Paper
Tensorial structure of the lifting doctrine in constructive domain theory	N/A	Paper
Reflexive graph lenses in univalent foundations	N/A	Paper

This page was built for person: Jonathan Sterling