The following pages link to Pieter J. W. Hofstra (Q964544):
Displaying 28 items.
- (Q283749) (redirect page) (← links)
- Total maps of Turing categories (Q283751) (← links)
- (Q385801) (redirect page) (← links)
- Martin-Löf complexes (Q385803) (← links)
- Combinatorial realizability models of type theory (Q385804) (← links)
- Locally anisotropic toposes (Q684088) (← links)
- Categorical simulations (Q964545) (← links)
- Introduction to Turing categories (Q998306) (← links)
- Relative completions (Q1878419) (← links)
- Isotropy of algebraic theories (Q2134819) (← links)
- Pseudogroups and their torsors (Q2143174) (← links)
- Toposes for semigroups: an invitation (Q2665914) (← links)
- (Q2847339) (← links)
- (Q2919772) (← links)
- (Q2919773) (← links)
- (Q3093861) (← links)
- Unitary Theories, Unitary Categories (Q3178243) (← links)
- (Q3411959) (← links)
- All realizability is relative (Q3419822) (← links)
- Ordered partial combinatory algebras (Q4431167) (← links)
- (Q5006462) (← links)
- Aspects of Categorical Recursion Theory (Q5014598) (← links)
- (Q5200274) (← links)
- Iterated realizability as a comma construction (Q5450701) (← links)
- Polymorphic Automorphisms and the Picard Group. (Q6159942) (← links)
- Inner autoequivalences in general and those of monoidal categories in particular (Q6398512) (← links)
- Inner autoequivalences in general and those of monoidal categories in particular (Q6564635) (← links)
- Inner automorphisms as 2-cells (Q6593817) (← links)
