11 citations · 11 across the 1 of their papers we have counts for
1 paper
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…