5570 results in Programming Languages and Applied Logic
5 - The Algol Family and ML
- from Part 2 - Procedures, Types, Memory Management, and Control
-
- Book:
- Concepts in Programming Languages
- Published online:
- 05 June 2012
- Print publication:
- 14 October 2002, pp 93-128
-
- Chapter
- Export citation
The epsilon substitutionmethod and continuity
- from PART I - PROOF THEORETIC ANALYSIS
-
-
- Book:
- Reflections on the Foundations of Mathematics
- Published online:
- 31 March 2017
- Print publication:
- 02 March 2002, pp 117-129
-
- Chapter
- Export citation
Explicit mathematics with monotone inductive definitions: A survey
- from PART III - APPLICATIVE AND SELF-APPLICATIVE THEORIES
-
-
- Book:
- Reflections on the Foundations of Mathematics
- Published online:
- 31 March 2017
- Print publication:
- 02 March 2002, pp 329-346
-
- Chapter
- Export citation
Frontmatter
-
- Book:
- Model Theory of Stochastic Processes
- Published online:
- 30 March 2017
- Print publication:
- 02 March 2002, pp i-iv
-
- Chapter
- Export citation
Preface
-
-
- Book:
- Reflections on the Foundations of Mathematics
- Published online:
- 31 March 2017
- Print publication:
- 02 March 2002, pp v-vi
-
- Chapter
- Export citation
Foundational and mathematical uses of higher types
- from PART I - PROOF THEORETIC ANALYSIS
-
-
- Book:
- Reflections on the Foundations of Mathematics
- Published online:
- 31 March 2017
- Print publication:
- 02 March 2002, pp 92-116
-
- Chapter
- Export citation
Model Theory of Stochastic Processes
-
- Published online:
- 30 March 2017
- Print publication:
- 02 March 2002
Contents
-
- Book:
- Reflections on the Foundations of Mathematics
- Published online:
- 31 March 2017
- Print publication:
- 02 March 2002, pp vii-viii
-
- Chapter
- Export citation
Chapter 2 - Hyperfinite adapted spaces
-
- Book:
- Model Theory of Stochastic Processes
- Published online:
- 30 March 2017
- Print publication:
- 02 March 2002, pp 23-42
-
- Chapter
- Export citation
Chapter 8 - Adapted neometric spaces
-
- Book:
- Model Theory of Stochastic Processes
- Published online:
- 30 March 2017
- Print publication:
- 02 March 2002, pp 115-124
-
- Chapter
- Export citation
Infinitary initial algebra specifications for stream algebras
- from PART II - LOGIC AND COMPUTATION
-
-
- Book:
- Reflections on the Foundations of Mathematics
- Published online:
- 31 March 2017
- Print publication:
- 02 March 2002, pp 228-248
-
- Chapter
- Export citation
Remarks on finitism
- from PART IV - PHILOSOPHY OF MODERN MATHEMATICAL AND LOGICAL THOUGHT
-
-
- Book:
- Reflections on the Foundations of Mathematics
- Published online:
- 31 March 2017
- Print publication:
- 02 March 2002, pp 410-419
-
- Chapter
- Export citation
Relating ordinals to proofs in a perspicuous way
- from PART I - PROOF THEORETIC ANALYSIS
-
-
- Book:
- Reflections on the Foundations of Mathematics
- Published online:
- 31 March 2017
- Print publication:
- 02 March 2002, pp 37-59
-
- Chapter
- Export citation
Chapter 6 - Elementary extensions
-
- Book:
- Model Theory of Stochastic Processes
- Published online:
- 30 March 2017
- Print publication:
- 02 March 2002, pp 85-98
-
- Chapter
- Export citation
Internal finite tree embeddings
- from PART I - PROOF THEORETIC ANALYSIS
-
-
- Book:
- Reflections on the Foundations of Mathematics
- Published online:
- 31 March 2017
- Print publication:
- 02 March 2002, pp 60-91
-
- Chapter
- Export citation
PART I - PROOF THEORETIC ANALYSIS
-
- Book:
- Reflections on the Foundations of Mathematics
- Published online:
- 31 March 2017
- Print publication:
- 02 March 2002, pp ix-x
-
- Chapter
- Export citation
Introduction
-
- Book:
- Model Theory of Stochastic Processes
- Published online:
- 30 March 2017
- Print publication:
- 02 March 2002, pp ix-xii
-
- Chapter
- Export citation
PART II - LOGIC AND COMPUTATION
-
- Book:
- Reflections on the Foundations of Mathematics
- Published online:
- 31 March 2017
- Print publication:
- 02 March 2002, pp 137-138
-
- Chapter
- Export citation
PART III - APPLICATIVE AND SELF-APPLICATIVE THEORIES
-
- Book:
- Reflections on the Foundations of Mathematics
- Published online:
- 31 March 2017
- Print publication:
- 02 March 2002, pp 249-250
-
- Chapter
- Export citation
Chapter 1 - Adapted distributions
-
- Book:
- Model Theory of Stochastic Processes
- Published online:
- 30 March 2017
- Print publication:
- 02 March 2002, pp 1-22
-
- Chapter
- Export citation