Oosten, The modified realizability topos (1997)

by J van
Venue:J. Pure Appl. Algebra