Login / Signup
Jetze Zoethout
ORCID
Publication Activity (10 Years)
Years Active: 2019-2023
Publications (10 Years): 3
Top Topics
Long Tail
Minimal Change
Spatial Reasoning
Ctl Model Update
Top Venues
Ann. Pure Appl. Log.
Math. Struct. Comput. Sci.
</>
Publications
</>
Jetze Zoethout
Third-order functionals on partial combinatory algebras.
Ann. Pure Appl. Log.
174 (2) (2023)
Jetze Zoethout
On (co)products of partial combinatory algebras, with an application to pushouts of realizability toposes.
Math. Struct. Comput. Sci.
31 (2) (2021)
Albert Visser
,
Jetze Zoethout
Provability logic and the completeness principle.
Ann. Pure Appl. Log.
170 (6) (2019)