✦ LIBER ✦

A hierarchy of Brouwer constructive functionals

✍ Scribed by N. A. Shanin

Publisher: Springer US
Year: 1977
Tongue: English
Weight: 375 KB
Volume: 8
Category: Article
ISSN: 1573-8795
DOI: 10.1007/bf01091557

No coin nor oath required. For personal study only.

📜 SIMILAR VOLUMES

A Constructive Algebraic Hierarchy in Co

A Constructive Algebraic Hierarchy in Coq

✍ Herman Geuvers; Randy Pollack; Freek Wiedijk; Jan Zwanenburg 📂 Article 📅 2002 🏛 Elsevier Science 🌐 English ⚖ 276 KB

We describe a framework of algebraic structures in the proof assistant Coq. We have developed this framework as part of the FTA project in Nijmegen, in which a constructive proof of the fundamental theorem of algebra has been formalized in Coq. The algebraic hierarchy that is described here is both

On the continuity of constructive functi

On the continuity of constructive functionals

✍ V. P. Orevkov 📂 Article 📅 1972 🏛 Springer US 🌐 English ⚖ 387 KB

A constructive version of Sperner's lemm

A constructive version of Sperner's lemma and Brouwer's fixed point theorem

✍ A. K. Khalifa 📂 Article 📅 1990 🏛 John Wiley and Sons 🌐 English ⚖ 268 KB 👁 1 views

Constructive functionals in spaces of al

Constructive functionals in spaces of almost-periodic functions

✍ M. Margenshtern 📂 Article 📅 1977 🏛 Springer US 🌐 English ⚖ 896 KB

Hierarchies of constructible sets

✍ Keith J. Devlin 📂 Article 📅 1977 🏛 Elsevier Science ⚖ 413 KB

Construction of robust class hierarchies

✍ A. Frick; G. Goos; R. Neumann; W. Zimmermann 📂 Article 📅 2000 🏛 John Wiley and Sons 🌐 English ⚖ 461 KB

This article discusses the problem of constructing robust class libraries. Further design criteria include the flexibility of class libraries, the efficiency of the implementations, and their safe extensibility. We show that it is possible to design robust libraries to satisfy any two of the require