The effective topos (1982)

by Martin Hyland