| Impredicative encodings of (higher) inductive types S Awodey, J Frey, S Speight Proceedings of the 33rd Annual ACM/IEEE Symposium on Logic in Computer …, 2018 | 35 | 2018 |
| A fibrational study of realizability toposes J Frey arXiv preprint arXiv:1403.3672, 2013 | 21 | 2013 |
| Ordered combinatory algebras and realizability WF Santos, J Frey, M Guillermo, O Malherbe, A Miquel Mathematical Structures in Computer Science 27 (3), 428-458, 2017 | 18 | 2017 |
| Categories of partial equivalence relations as localizations J Frey Journal of Pure and Applied Algebra 227 (8), 107115, 2023 | 13 | 2023 |
| A 2-categorical analysis of the tripos-to-topos construction J Frey arXiv preprint arXiv:1104.2776, 2011 | 11 | 2011 |
| Characterizing partitioned assemblies and realizability toposes J Frey Journal of Pure and Applied Algebra 223, 2000--2014, 2019 | 10* | 2019 |
| Triposes, q-toposes and toposes J Frey Annals of Pure and Applied Logic 166 (2), 232-259, 2015 | 9 | 2015 |
| Realizability toposes from specifications J Frey 13th International Conference on Typed Lambda Calculi and Applications (TLCA …, 2015 | 8 | 2015 |
| Classical Realizability in the CPS Target Language J Frey MFPS, 111-126, 2016 | 6 | 2016 |
| Notes on 2-categorical limits J Frey | 4 | 2010 |
| Triposes as a generalization of localic geometric morphisms J Frey, T Streicher Mathematical Structures in Computer Science 31 (9), 1024-1033, 2021 | 3 | 2021 |
| A universal characterization of the tripos-to-topos construction J Frey Technical report, Technische Universität Darmstadt, 2007 | 3 | 2007 |
| Constructing coproducts in locally Cartesian closed ∞-categories J Frey, N Rasekh Homology, Homotopy and Applications, 2022 | 2* | 2022 |
| Duality for Clans: an Extension of Gabriel-Ulmer Duality J Frey arXiv preprint arXiv:2308.11967, 2023 | | 2023 |
| Computability and Krivine realizability J Frey | | 2016 |
| Toposes for Time Complexity Classes J Frey, JG Simonsen Developments in Implicit Computational Complexity (DICE 2016), 2016 | | 2016 |
Steve AwodeyCarnegie Mellon UniversityVerified email at cmu.edu
