Computational Adequacy for Recursive Types in Models of Intuitionistic Set Theory.

Alex K. Simpson

Browse the full LICS paper archive.