Abstract is missing.
- Connecting Formal Semantics to Constructive IntuitionsStuart A. Kurtz, John C. Mitchell, Michael J. O Donnell. 1-21
- Kripke Semantics for Dependent Type Theory and Realizability InterpretationsJames Lipton. 22-32
- Reflective Semantics of Constructive Type Theory: Preliminary ReportScott F. Smith. 33-45
- Are Subsets Necessary in Martin-Löf Type Theory?Simon Thompson. 46-57
- Development Transformation Based on Higher Order Type TheoryJianguo Lu, Jiafu Xu. 58-70
- Classical Proofs as Programs: How, What, and WhyChetan R. Murthy. 71-88
- Classical Type TheoryMaria Napierala. 89-107
- Axiomatization of Calculus of ConstructionsYong Sun. 108-130
- A Logical View of AssignmentsVipin Swarup, Uday S. Reddy. 131-149
- Constructivity Issues in Graph AlgorithmsMichael R. Fellows, Michael A. Langston. 150-158
- Constructive Topology and CombinatoricsThierry Coquand. 159-164
- Implementing Constructive Real Analysis: Preliminary ReportJawahar Chirimar, Douglas J. Howe. 165-178
- Examples of Semicomputable Sets of Real and Complex NumbersJ. V. Tucker, Jeffery I. Zucker. 179-198
- Bringing Mathematics Education into the Algorithmic AgeNewcomb Greenleaf. 199-217
- The Type Structure of CATJ. Paul Myers Jr., Ronald E. Prather. 218-227
- A Simple and Powerful Approach for Studying Constructivity, Computability, and ComplexityKlaus Weihrauch. 228-246