Alex K. Simpson. Computational adequacy for recursive types in models of intuitionistic set theory. Annals of Pure and Applied Logic, 130(1-3):207-275, 2004. [doi]
No references recorded for this publication.
No citations of this publication recorded.