Publisher
Tbilisi Centre for Mathematical Sciences
Reference17 articles.
1. B. van den Berg, The Herbrand topos, \MPCPS 155 (2013), 361–374.
2. L. Birkedal and J. van Oosten, Relativa and modified relative realizability, Ann. Pure Appl. Logic118 (2002), 115–132.
3. E. Faber and J. van Oosten, More on geometric morphisms between realizability toposes, \TAC 29 (2014), 874–895.
4. P.J. Freyd, Combinators, in \CCSL, 63–66.
5. R.J. Grayson, Modified realizability toposes, unpublished notes, Universität Münster (1981).