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

@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
James Lipton:
Kripke Semantics for Dependent Type Theory and Realizability Interpretations. 22-32

Types

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

Logic

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

Nonconstructive Techniques

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

Topology

Thierry Coquand:
Constructive Topology and Combinatorics. 159-164

Reals

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

Curriculum/Pedagogy

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

Last update Thu May 24 04:15:19 2012 CET by the DBLP Team —

Data released under the ODC-BY 1.0 license — See also our legal information page