论文信息 - A Note on the Open Induction Principle - 字舞流文

A Note on the Open Induction Principle

[1] Thierry Coquand,et al. Constructive Topology and Combinatorics , 1992, Constructivity in Computer Science.

[2] Jean-Claude Raoult,et al. Proving Open Properties by Induction , 1988, Inf. Process. Lett..

[3] A. S. Troelstra,et al. Extended Bar Induction of Type Zero , 1980 .

[4] Peter Aczel,et al. An Introduction to Inductive Definitions , 1977 .

[5] S. C. Kleene,et al. The foundations of intuitionistic mathematics : especially in relation to recursive functions , 1965 .