The effective topos (1982)

by M E Hyland