Computational Adequacy for Recursive Types in Models of Intuitionistic Set Theory (2003)

by Alex Simpson
Venue:In Proc. 17th IEEE Symposium on Logic in Computer Science