Jonas Frey

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
Uniform preorders and partial combinatory algebras Theory and Applications of Categories	2026-02-09	Paper
Optimal stopping in a dynamic salience model International Economic Review	2024-07-15	Paper
Duality for Clans: an Extension of Gabriel-Ulmer Duality	2023-08-23	Paper
Constructing coproducts in locally Cartesian closed \(\infty\)-categories Homology, Homotopy and Applications	2023-05-04	Paper
Categories of partial equivalence relations as localizations Journal of Pure and Applied Algebra	2023-04-26	Paper
Triposes as a generalization of localic geometric morphisms Mathematical Structures in Computer Science	2022-06-24	Paper
Impredicative encodings of (higher) inductive types Proceedings of the 33rd Annual ACM/IEEE Symposium on Logic in Computer Science	2021-01-20	Paper
Categories of partial equivalence relations as localizations (available as arXiv preprint)	2019-12-13	Paper
Characterizing partitioned assemblies and realizability toposes Journal of Pure and Applied Algebra	2019-01-24	Paper
Classical realizability in the CPS target language	2018-04-23	Paper
Realizability toposes from specifications (available as arXiv preprint)	2017-07-12	Paper
Ordered combinatory algebras and realizability Mathematical Structures in Computer Science	2017-04-03	Paper
Triposes, q-toposes and toposes Annals of Pure and Applied Logic	2014-11-28	Paper
A fibrational study of realizability toposes	2014-03-14	Paper
A 2-Categorical Analysis of the Tripos-to-Topos Construction	2011-04-14	Paper
Uniform Preorders and Partial Combinatory Algebras (available as arXiv preprint)	N/A	Paper

Research outcomes over time

This page was built for person: Jonas Frey