Jonathan Sterling

Publications

• A Stratified Approach to Löb Induction. Daniel Gratzer, Lars Birkedal. 2022.
• A Cubical Language for Bishop Sets. Jonathan Sterling, Carlo Angiuli, Daniel Gratzer. 2022.
• Normalization for Cubical Type Theory. Jonathan Sterling, Carlo Angiuli. 2021.
• Higher-Order Functions and Brouwer's Thesis. Jonathan Sterling. 2021.