"Computational adequacy for recursive types in models of intuitionistic set ..."

Alex K. Simpson (2004)
a service of  Schloss Dagstuhl - Leibniz Center for Informatics