11 citations · 13 across the 3 of their papers we have counts for
1 paper · 1 filter
Jonas Frey
This is the author's PhD thesis. It is a contribution to categorical logic, in particular to the theory of realizability toposes. While the tools of categorical logic have proven v…