activity
20192022
most citedConcrete categories and higher-order recursion (With applications including probability, differentiability, and full abstraction)

3 citations · 4 across the 2 of their papers we have counts for

collaborators
Showing 2021Show all

1 paper · 1 filter

cs.PL2021

Recursion and Sequentiality in Categories of Sheaves

Cristina Matache, Sean Moss, Sam Staton

We present a fully abstract model of a call-by-value language with higher-order functions, recursion and natural numbers, as an exponential ideal in a topos. Our model is inspired…