Homepage of Jonas Frey
I am currently postdoc at Carnegie Mellon University in Pittsburgh.
Below you can find my publications and preprints, and some slides of talks. Please let me know if you find dead or incorrect links.
Triposes, q-toposes and toposes, Annals of Pure and Applied Logic 166.2 (2015): 232-259.
Realizability toposes from specifications, TLCA 2015: 196-210.
Classical realizability in the CPS target language, Electronic Notes in Theoretical Computer Science 325 (2016): 111-126.
Ordered combinatory algebras and realizability (with Walter Ferrer Santos, Mauricio Guillermo, Octavio Malherbe and Alexandre Miquel), Mathematical Structures in Computer Science 27.3 (2017): 428-458.
Impredicative Encodings of (Higher) Inductive Types (with Steve Awodey and Sam Speight), Proceedings of the 33rd Annual ACM/IEEE Symposium on Logic in Computer Science. ACM, 2018, Lean code
Characterizing partitioned assemblies and realizability toposes, Journal of Pure and Applied Algebra 223.5 (2019): 2000-2014.
Triposes as a generalization of localic geometric morphisms (with Thomas Streicher), to appear in Mathematical Structures in Computer Science
Notes on 2-categorical limits (notes of a seminar talk in February 2010 at Paris 7 University)
Computability and Krivine realizability (based on a conversation with J.-L. Krivine in November 2015)
Slides of some talks
Modelling homotopy type theory in cartesian cubical sets, CT 2017, Vancouver, Canada
Classical realizability in the CPS target language, Realizability in Uruguay 2016, July 2016, Piriapolis, Uruguay
A fibrational analysis of realizability toposes, Slides of my PhD defense, June 2013, Paris, France
Multiform preorders and partial combinatory algebras, Logic and interactions 2012, February 2012, Marseilles, France
A double categorical analysis of the tripos-to-topos construction, CT 2010, June 2010, Genoa, Italy