Jetze Zoethout

Available identifiers

zbMath Open zoethout.jetzeMaRDI QIDQ1740458

List of research outcomes

Publication	Date of Publication	Type
Third-order functionals on partial combinatory algebras	2022-12-08	Paper
On (co)products of partial combinatory algebras, with an application to pushouts of realizability toposes	2021-10-11	Paper
Internal Partial Combinatory Algebras and their Slices	2021-01-07	Paper
On the Existence of Pushouts of Realizability Toposes	2020-11-17	Paper
Provability logic and the completeness principle	2019-04-30	Paper

Research outcomes over time

This page was built for person: Jetze Zoethout