Computational adequacy for recursive types in models of intuitionistic set theory
By: by Alex Simpson.
Contributors: Kyōto Daigaku. Sūri Kaiseki Kenkyūjo.
Series: RIMS -- 1410
Publisher: Kyōto Daigaku Sūri Kaiseki Kenkyūjo
Published: 2003
Place of publication: Kyoto, Japan
Language: eng
Number of pages: 78