Alex Simpson

Publications

• Computational Adequacy for Recursive Types in Models of Intuitionistic Set Theory. Alex Simpson. 2002.