The Discrete Objects in the Effective Topos (1990)

Cached

Download Links

by J. M. E. Hyland , E. P. Robinson , G. Rosolini
Venue:Proc. London Math. Soc
Citations:24 - 6 self