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
Citations:9 - 2 self

Document Versions

Computational Adequacy for Recursive Types in Models of Intuitionistic Set Theory –Alex Simpson — 2003 — In Proc. 17th IEEE Symposium on Logic in Computer Science
Computational adequacy for recursive types in models of intuitionistic set theory –Alex Simpson — 2002 — In Proc. 17th Symposium on Logic in Comp. Sci
Computational Adequacy for Recursive Types in Models of Intuitionistic Set Theory –Alex Simpson — 2002 — In Proc. 17th IEEE Symposium on Logic in Computer Science
Computational Adequacy for Recursive Types in Models of Intuitionistic Set Theory –Alex Simpson — 2002 — In Proc. 17th IEEE Symposium on Logic in Computer Science
Computational Adequacy for Recursive Types in Models of Intuitionistic Set Theory –Alex Simpson — 2002 — In Proc. 17th IEEE Symposium on Logic in Computer Science