Jetze Zoethout
From MaRDI portal
List of research outcomes
This list is not complete and representing at the moment only items from zbMATH Open and arXiv. We are working on additional sources - please check back here soon!
| Publication | Date of Publication | Type |
|---|---|---|
| Third-order functionals on partial combinatory algebras Annals of Pure and Applied Logic | 2022-12-08 | Paper |
| On (co)products of partial combinatory algebras, with an application to pushouts of realizability toposes Mathematical Structures in Computer Science | 2021-10-11 | Paper |
| Internal partial combinatory algebras and their slices (available as arXiv preprint) | 2021-01-07 | 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 Annals of Pure and Applied Logic | 2019-04-30 | Paper |
| Provability logic and the completeness principle Annals of Pure and Applied Logic | 2019-04-30 | Paper |
Research outcomes over time
This page was built for person: Jetze Zoethout
