Constructivity in Computer Science

Keyphrases

Publications

volume 613, 1992

Constructivity in Computer Science, Summer Symposium, San Antonio, Texas, USA, June 19-22, Proceedings Constructivity in Computer Science 613 (1992)

1991

J. Paul Myers Jr., Ronald E. Prather
The Type Structure of CAT. Constructivity in Computer Science (1991)
Jawahar Chirimar, Douglas J. Howe
Implementing Constructive Real Analysis: Preliminary Report. Constructivity in Computer Science (1991)
Jianguo Lu, Jiafu Xu
Development Transformation Based on Higher Order Type Theory. Constructivity in Computer Science (1991)
Vipin Swarup, Uday S. Reddy
A Logical View of Assignments. Constructivity in Computer Science (1991)
Michael R. Fellows, Michael A. Langston
Constructivity Issues in Graph Algorithms. Constructivity in Computer Science (1991)
Chetan R. Murthy
Classical Proofs as Programs: How, What, and Why. Constructivity in Computer Science (1991)
John V. Tucker, Jeffery I. Zucker
Examples of Semicomputable Sets of Real and Complex Numbers. Constructivity in Computer Science (1991)
Scott F. Smith
Reflective Semantics of Constructive Type Theory: Preliminary Report. Constructivity in Computer Science (1991)
Simon J. Thompson
Are Subsets Necessary in Martin-Löf Type Theory? Constructivity in Computer Science (1991)
James Lipton
Kripke Semantics for Dependent Type Theory and Realizability Interpretations. Constructivity in Computer Science (1991)
Klaus Weihrauch
A Simple and Powerful Approach for Studying Constructivity, Computability, and Complexity. Constructivity in Computer Science (1991)
Newcomb Greenleaf
Bringing Mathematics Education into the Algorithmic Age. Constructivity in Computer Science (1991)
Maria Napierala
Classical Type Theory. Constructivity in Computer Science (1991)
Stuart A. Kurtz, John C. Mitchell, Michael J. O'Donnell
Connecting Formal Semantics to Constructive Intuitions. Constructivity in Computer Science (1991)
Yong Sun
Axiomatization of Calculus of Constructions. Constructivity in Computer Science (1991)
Thierry Coquand
Constructive Topology and Combinatorics. Constructivity in Computer Science (1991)