18 citations · 18 across the 4 of their papers we have counts for
1 paper · 1 filter
Sam Speight
We develop realizability models of intensional type theory, based on groupoids, wherein realizers themselves carry non-trivial (non-discrete) homotopical structure. In the spirit o…