Oosten The Modified Realizability Topos (1997)

by J van
Venue:Journal of Pure and Applied Algebra