64 citations · 159 across the 14 of their papers we have counts for
1 paper · 2 filters
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…