Book Chapter
Lectures on intuitionism
D. van Dalen
Lecture Notes in Mathematics, 1973, Volume 337, Cambridge Summer School in Mathematical Logic, Pages 1-94
Book Chapter
Markov's principle and Markov's rule for theores of choice sequences
A. S. Troelstra
Lecture Notes in Mathematics, 1975, Volume 500, ?ISILC Proof Theory Symposion, Pages 370-383
Journal Article
Informal theory of choice sequences
A. S. Troelstra
Studia Logica, 1969, Volume 25, Number 1, Pages 31-52
Journal Article
A model of intuitionistic analysis
Bruno Scarpellini
Commentarii Mathematici Helvetici, 1970, Volume 45, Number 1, Pages 440-471
Journal Article
Über das Markov-Prinzip II
Horst Luckhardt
Archive for Mathematical Logic, 1977, Volume 18, Number 1, Pages 147-157
Journal Article
Spielquantorinterpretation unstetiger Funktionale der höheren Analysis
Wolfgang Friedrich
Archive for Mathematical Logic, 1984, Volume 24, Number 1, Pages 73-99
Book Chapter
A functional system with transfinitely defined types
Mariko Yasugi and Susumu Hayashi
Lecture Notes in Computer Science, 1994, Volume 792, Logic, Language and Computation, Pages 31-60
Book Chapter
Intensionale Funktionalinterpretation der Analysis
Justus Diller and Helmut Vogel
Lecture Notes in Mathematics, 1975, Volume 500, ?ISILC Proof Theory Symposion, Pages 56-72
Journal Article
Glueing of analysis models in an intuitionistic setting
D. Dalen
Studia Logica, 1986, Volume 45, Number 2, Pages 181-186
Book Chapter
Introduction and survey
Lecture Notes in Mathematics, 1973, Volume 306, Extensional Gödel Functional Interpretation, Pages 1-12