default search action

combined dblp search
author search
venue search
publication search

ask others

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

> Home > Conferences and Workshops > Constructivity in Computer Science

Refine list

refinements active!

zoomed in on ?? of ?? records

view refined list in

export refined list as

showing all ?? records

- view
  authority control:
- export record
  dblp key:
  - conf/constructivity/1991
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/constructivity/1991
J. Paul Myers Jr., Michael J. O'Donnell:
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

Semantics

- view
  authority control:
- export record
  dblp key:
  - conf/constructivity/KurtzMO91
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/constructivity/KurtzMO91
Stuart A. Kurtz, John C. Mitchell, Michael J. O'Donnell:
Connecting Formal Semantics to Constructive Intuitions. 1-21
- view
  authority control:
- export record
  dblp key:
  - conf/constructivity/Lipton91
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/constructivity/Lipton91
James Lipton:
Kripke Semantics for Dependent Type Theory and Realizability Interpretations. 22-32

Types

- view
  authority control:
- export record
  dblp key:
  - conf/constructivity/Smith91
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/constructivity/Smith91
Scott F. Smith:
Reflective Semantics of Constructive Type Theory: Preliminary Report. 33-45
- view
  authority control:
- export record
  dblp key:
  - conf/constructivity/Thompson91
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/constructivity/Thompson91
Simon J. Thompson:
Are Subsets Necessary in Martin-Löf Type Theory? 46-57
- view
  authority control:
- export record
  dblp key:
  - conf/constructivity/LuX91
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/constructivity/LuX91
Jianguo Lu, Jiafu Xu:
Development Transformation Based on Higher Order Type Theory. 58-70

Logic

- view
  authority control:
- export record
  dblp key:
  - conf/constructivity/Murthy91
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/constructivity/Murthy91
Chetan R. Murthy:
Classical Proofs as Programs: How, What, and Why. 71-88
- view
  authority control:
- export record
  dblp key:
  - conf/constructivity/Napierala91
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/constructivity/Napierala91
Maria Napierala:
Classical Type Theory. 89-107
- view
  authority control:
- export record
  dblp key:
  - conf/constructivity/Sun91
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/constructivity/Sun91
Yong Sun:
Axiomatization of Calculus of Constructions. 108-130
- view
  authority control:
- export record
  dblp key:
  - conf/constructivity/SwarupR91
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/constructivity/SwarupR91
Vipin Swarup, Uday S. Reddy:
A Logical View of Assignments. 131-149

Nonconstructive Techniques

- view
  authority control:
- export record
  dblp key:
  - conf/constructivity/FellowsL91
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/constructivity/FellowsL91
Michael R. Fellows, Michael A. Langston:
Constructivity Issues in Graph Algorithms. 150-158

Topology

- view
  authority control:
- export record
  dblp key:
  - conf/constructivity/Coquand91
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/constructivity/Coquand91
Thierry Coquand:
Constructive Topology and Combinatorics. 159-164

Reals

- view
  authority control:
- export record
  dblp key:
  - conf/constructivity/ChirimarH91
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/constructivity/ChirimarH91
Jawahar Chirimar, Douglas J. Howe:
Implementing Constructive Real Analysis: Preliminary Report. 165-178
- view
  authority control:
- export record
  dblp key:
  - conf/constructivity/TuckerZ91
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/constructivity/TuckerZ91
John V. Tucker, Jeffery I. Zucker:
Examples of Semicomputable Sets of Real and Complex Numbers. 179-198

Curriculum/Pedagogy

- view
  authority control:
- export record
  dblp key:
  - conf/constructivity/Greenleaf91
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/constructivity/Greenleaf91
Newcomb Greenleaf:
Bringing Mathematics Education into the Algorithmic Age. 199-217
- view
  authority control:
- export record
  dblp key:
  - conf/constructivity/MyersP91
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/constructivity/MyersP91
J. Paul Myers Jr., Ronald E. Prather:
The Type Structure of CAT. 218-227
- view
  authority control:
- export record
  dblp key:
  - conf/constructivity/Weihrauch91
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/constructivity/Weihrauch91
Klaus Weihrauch:
A Simple and Powerful Approach for Studying Constructivity, Computability, and Complexity. 228-246

manage site settings

To protect your privacy, all features that rely on external API calls from your browser are turned off by default. You need to opt-in for them to become active. All settings here will be stored as cookies with your web browser. For more information see our F.A.Q.