2 citations · 2 across the 9 of their papers we have counts for
1 paper · 1 filter
Sankha S. Basu, Stephen G. Simpson
In this paper we study a model of intuitionistic higher-order logic which we call \emph{the Muchnik topos}. The Muchnik topos may be defined briefly as the category of sheaves of s…