Computational adequacy for recursive types in models of intuitionistic set theory
categorical models of intuitionistic set theory
scientific article; zbMATH DE number 2116240
scientific article