13 citations · 14 across the 2 of their papers we have counts for
2 papers
math.LO2015★ 1 cited
Realizability Toposes from Specifications
Jonas Frey
We investigate a framework of Krivine realizability with I/O effects, and present a method of associating realizability models to specifications on the I/O behavior of processes, b…
math.CT2011★ 13 cited
A 2-Categorical Analysis of the Tripos-to-Topos Construction
Jonas Frey
We characterize the tripos-to-topos construction of Hyland, Johnstone and Pitts as a biadjunction in a bicategory enriched category of equipment-like structures. These abstract con…