Models of Intuitionistic Set Theories over Partial Combinatory Algebras

Lecture Notes in Computer Science - Theory and Applications of Models of Computation ◽

10.1007/11750321_5 ◽

2006 ◽

pp. 68-78 ◽

Cited By ~ 1

Author(s):

Michael Rathjen

Download Full-text