10 citations · 10 across the 1 of their papers we have counts for
1 paper · 1 filter
Wouter Pieter Stekelenburg
This paper aims to help the development of new models of homotopy type theory, in particular with models that are based on realizability toposes. For this purpose it develops the f…