Lecture Notes in Computer Science - Constructivity in Computer Science
Latest Publications

TOTAL DOCUMENTS

(FIVE YEARS 0)

H-INDEX

(FIVE YEARS 0)

Published By Springer Berlin Heidelberg

9783540556312, 9783540472650

Latest Documents Most Cited Documents Contributed Authors Related Sources Related Keywords

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

Lecture Notes in Computer Science - Constructivity in Computer Science ◽

10.1007/bfb0021094 ◽

1992 ◽

pp. 228-246 ◽

Cited By ~ 2

Author(s):

Klaus Weihrauch

Keyword(s):

Powerful Approach

Download Full-text

Implementing constructive real analysis (preliminary report)

Lecture Notes in Computer Science - Constructivity in Computer Science ◽

10.1007/bfb0021090 ◽

1992 ◽

pp. 165-178 ◽

Cited By ~ 10

Author(s):

Jawahar Chirimar ◽

Douglas J. Howe

Keyword(s):

Preliminary Report ◽

Real Analysis

Download Full-text

The type structure of CAT

Lecture Notes in Computer Science - Constructivity in Computer Science ◽

10.1007/bfb0021093 ◽

1992 ◽

pp. 218-227

Author(s):

J. Paul Myers ◽

Ronald E. Prather

Keyword(s):

Type Structure

Download Full-text

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

Lecture Notes in Computer Science - Constructivity in Computer Science ◽

10.1007/bfb0021082 ◽

1992 ◽

pp. 46-57

Author(s):

Simon Thompson

Keyword(s):

Type Theory

Download Full-text

Reflective semantics of constructive type theory

Lecture Notes in Computer Science - Constructivity in Computer Science ◽

10.1007/bfb0021081 ◽

1992 ◽

pp. 33-45

Author(s):

Scott F. Smith

Keyword(s):

Type Theory ◽

Constructive Type Theory ◽

Constructive Type

Download Full-text

Kripke semantics for dependent type theory and realizability interpretations

Lecture Notes in Computer Science - Constructivity in Computer Science ◽

10.1007/bfb0021080 ◽

1992 ◽

pp. 22-32 ◽

Cited By ~ 4

Author(s):

James Lipton

Keyword(s):

Type Theory ◽

Kripke Semantics ◽

Dependent Type Theory ◽

Dependent Type

Download Full-text

Constructivity issues in graph algorithms

Lecture Notes in Computer Science - Constructivity in Computer Science ◽

10.1007/bfb0021088 ◽

1992 ◽

pp. 150-158 ◽

Cited By ~ 1

Author(s):

Michael R. Fellows ◽

Michael A. Langston

Keyword(s):

Graph Algorithms

Download Full-text

Examples of semicomputable sets of real and complex numbers

Lecture Notes in Computer Science - Constructivity in Computer Science ◽

10.1007/bfb0021091 ◽

1992 ◽

pp. 179-198 ◽

Cited By ~ 4

Author(s):

J. V. Tucker ◽

J. I. Zucker

Keyword(s):

Complex Numbers

Download Full-text

Connecting formal semantics to constructive intuitions

Lecture Notes in Computer Science - Constructivity in Computer Science ◽

10.1007/bfb0021079 ◽

1992 ◽

pp. 1-21

Author(s):

Stuart A. Kurtz ◽

John C. Mitchell ◽

Michael J. O'Donnell

Keyword(s):

Formal Semantics

Download Full-text

Constructive topology and combinatorics

Lecture Notes in Computer Science - Constructivity in Computer Science ◽

10.1007/bfb0021089 ◽

1992 ◽

pp. 159-164 ◽

Cited By ~ 14

Author(s):

Thierry Coquand

Download Full-text

Lecture Notes in Computer Science - Constructivity in Computer ScienceLatest Publications

TOTAL DOCUMENTS

H-INDEX

Published By Springer Berlin Heidelberg

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

Implementing constructive real analysis (preliminary report)

The type structure of CAT

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

Reflective semantics of constructive type theory

Kripke semantics for dependent type theory and realizability interpretations

Constructivity issues in graph algorithms

Examples of semicomputable sets of real and complex numbers

Connecting formal semantics to constructive intuitions

Constructive topology and combinatorics

Lecture Notes in Computer Science - Constructivity in Computer Science
Latest Publications