论文信息 - Combinator Realizability of a Constructive Morse Set Theory - 字舞流文

Combinator Realizability of a Constructive Morse Set Theory

John Staples | J. Staples

[1] H. Friedman. Some applications of Kleene's methods for intuitionistic systems , 1973 .

[2] John Staples. Combinator realizability of constructive finite type analysis , 1973 .

[3] J. Myhill,et al. Some properties of intuitionistic zermelo-frankel set theory , 1973 .