20 citations · 79 across the 14 of their papers we have counts for
1 paper · 2 filters
Pierre Clairambault
We investigate the problem of type isomorphisms in the presence of higher-order references. We first introduce a finitary programming language with sum types and higher-order refer…