research
∙
05/31/2022
Concrete categories and higher-order recursion (With applications including probability, differentiability, and full abstraction)
We study concrete sheaf models for a call-by-value higher-order language...
research
∙
05/05/2021
Recursion and Sequentiality in Categories of Sheaves
We present a fully abstract model of a call-by-value language with highe...
research
∙
02/12/2019