Computational adequacy for recursive types in models of intuitionistic set theory (2004)

by A K Simpson
Venue:Annals of Pure and Applied Logic 130