The following pages link to Jetze Zoethout (Q1740458):
Displaying 4 items.
- Provability logic and the completeness principle (Q1740459) (← links)
- Third-order functionals on partial combinatory algebras (Q2105095) (← links)
- Internal Partial Combinatory Algebras and their Slices (Q3386753) (← links)
- On (co)products of partial combinatory algebras, with an application to pushouts of realizability toposes (Q5156775) (← links)
