Constructivity in Computer Science 1991: San Antonio, Texas, USA

J. Paul Myers Jr., Michael J. O'Donnell (Eds.): Constructivity in Computer Science, Summer Symposium, San Antonio, Texas, USA, June 19-22, Proceedings. Lecture Notes in Computer Science 613 Springer 1992, ISBN 3-540-55631-1 BibTeX

@proceedings{DBLP:conf/constructivity/1991,
  editor    = {J. Paul Myers Jr. and
               Michael J. O'Donnell},
  title     = {Constructivity in Computer Science, Summer Symposium, San Antonio,
               Texas, USA, June 19-22, Proceedings},
  booktitle = {Constructivity in Computer Science},
  publisher = {Springer},
  series    = {Lecture Notes in Computer Science},
  volume    = {613},
  year      = {1992},
  isbn      = {3-540-55631-1},
  bibsource = {DBLP, http://dblp.uni-trier.de}
}

Semantics

Stuart A. Kurtz, John C. Mitchell, Michael J. O'Donnell: Connecting Formal Semantics to Constructive Intuitions. 1-21 BibTeX
James Lipton: Kripke Semantics for Dependent Type Theory and Realizability Interpretations. 22-32 BibTeX

Types

Scott F. Smith: Reflective Semantics of Constructive Type Theory: Preliminary Report. 33-45 BibTeX
Simon Thompson: Are Subsets Necessary in Martin-Löf Type Theory? 46-57 BibTeX
Jianguo Lu, Jiafu Xu: Development Transformation Based on Higher Order Type Theory. 58-70 BibTeX

Logic

Chetan R. Murthy: Classical Proofs as Programs: How, What, and Why. 71-88 BibTeX
Maria Napierala: Classical Type Theory. 89-107 BibTeX
Yong Sun: Axiomatization of Calculus of Constructions. 108-130 BibTeX
Vipin Swarup, Uday S. Reddy: A Logical View of Assignments. 131-149 BibTeX

Nonconstructive Techniques

Michael R. Fellows, Michael A. Langston: Constructivity Issues in Graph Algorithms. 150-158 BibTeX

Topology

Thierry Coquand: Constructive Topology and Combinatorics. 159-164 BibTeX

Reals

Jawahar Chirimar, Douglas J. Howe: Implementing Constructive Real Analysis: Preliminary Report. 165-178 BibTeX
J. V. Tucker, Jeffery I. Zucker: Examples of Semicomputable Sets of Real and Complex Numbers. 179-198 BibTeX

Curriculum/Pedagogy

Newcomb Greenleaf: Bringing Mathematics Education into the Algorithmic Age. 199-217 BibTeX
J. Paul Myers Jr., Ronald E. Prather: The Type Structure of CAT. 218-227 BibTeX
Klaus Weihrauch: A Simple and Powerful Approach for Studying Constructivity, Computability, and Complexity. 228-246 BibTeX