Skip to main content
SpringerLink
Log in
Book cover

Constructivity in Computer Science

Summer Symposium, San Antonio, TX, June 19-22, 1991. Proceedings

  • Conference proceedings
  • © 1992

Overview

Editors:
  1. J. Paul Myers
    View editor publications

    You can also search for this editor in PubMed   Google Scholar

  2. Michael J. O'Donnell
    View editor publications

    You can also search for this editor in PubMed   Google Scholar

Part of the book series: Lecture Notes in Computer Science (LNCS, volume 613)

Included in the following conference series:

Conference proceedings info: Constructivity in CS 1991.

This is a preview of subscription content, log in via an institution to check access.

Access this book

Log in via an institution
Softcover Book USD 54.99
Price excludes VAT (USA)
  • Compact, lightweight edition
  • Dispatched in 3 to 5 business days
  • Free shipping worldwide - see info

Tax calculation will be finalised at checkout

Other ways to access

Licence this eBook for your library

Institutional subscriptions

Table of contents (16 papers)

  1. Front Matter

    Download chapter PDF

  2. Connecting formal semantics to constructive intuitions

    • Stuart A. Kurtz, John C. Mitchell, Michael J. O'Donnell
    Pages 1-21

  3. Kripke semantics for dependent type theory and realizability interpretations

    • James Lipton
    Pages 22-32

  4. Reflective semantics of constructive type theory

    • Scott F. Smith
    Pages 33-45

  5. Are subsets necessary in Martin-Löf type theory?

    • Simon Thompson
    Pages 46-57

  6. Development transformation based on higher order type theory

    • Jianguo Lu, Jiafu Xu
    Pages 58-70

  7. Classical proofs as programs: How, what and why

    • Chetan R. Murthy
    Pages 71-88

  8. Classical type theory

    • Maria Napierala
    Pages 89-107

  9. Axiomatization of calculus of constructions

    • Yong Sun
    Pages 108-130

  10. A logical view of assignments

    • Vipin Swarup, Uday S. Reddy
    Pages 131-149

  11. Constructivity issues in graph algorithms

    • Michael R. Fellows, Michael A. Langston
    Pages 150-158

  12. Constructive topology and combinatorics

    • Thierry Coquand
    Pages 159-164

  13. Implementing constructive real analysis (preliminary report)

    • Jawahar Chirimar, Douglas J. Howe
    Pages 165-178

  14. Examples of semicomputable sets of real and complex numbers

    • J. V. Tucker, J. I. Zucker
    Pages 179-198

  15. Bringing mathematics education into the algorithmic age

    • Newcomb Greenleaf
    Pages 199-217

  16. The type structure of CAT

    • J. Paul Myers Jr., Ronald E. Prather
    Pages 218-227

  17. A simple and powerful approach for studying constructivity, computability, and complexity

    • Klaus Weihrauch
    Pages 228-246

  18. Back Matter

    Download chapter PDF
Back to top

Other volumes

  1. Constructivity in Computer Science

Keywords

About this book

Mathematicians have long recognized the distinction between an argument showing that an interesting object exists and a procedure for actually constructing the object. Computer science adds a new dimension of interest in constructivity, since a computer program is a formal description of a constructive procedure that can be executed automatically. It has beenover a decade since a conference was devoted to constructivity, and never before has one been held specifically relating computer science to constructivity. Thus, this proceedings volume is the most concentrated offering ever produced of the diverse ways in which constructivity and computer science are related. The papers cover semantics and type theory, logic and theorem proving, real and complex analysis, topology and combinatorics, nonconstructive graph-theoretical techniques, and curriculum and pedagogic issues. The book offers a concentrated view of the many ways in which constructivity has assumed importance in computer science, and contains results available nowhere else.

Bibliographic Information

Publish with us

Policies and ethics

Back to top

Search

Navigation