๐”– Bobbio Scriptorium
โœฆ   LIBER   โœฆ

Variants of the basic calculus of constructions

โœ Scribed by M.W. Bunder; Jonathan P. Seldin

Publisher
Elsevier Science
Year
2004
Tongue
English
Weight
287 KB
Volume
2
Category
Article
ISSN
1570-8683

No coin nor oath required. For personal study only.

โœฆ Synopsis

In this paper, a number of different versions of the basic calculus of constructions that have appeared in the literature are compared and the exact relationships between them are determined. The biggest differences between versions are those between the original version of Coquand and the version in early papers on the subject by Seldin. None of these results is very deep, but it seems useful to collect them in one place.

๐Ÿ“œ SIMILAR VOLUMES

Interpreting HOL in the calculus of cons
Interpreting HOL in the calculus of constructions
โœ Jonathan P. Seldin ๐Ÿ“‚ Article ๐Ÿ“… 2004 ๐Ÿ› Elsevier Science ๐ŸŒ English โš– 232 KB

The purpose of this paper is to consider a representation of the HOL theorem-prover in the calculus of constructions with the property that consistency results from the calculus of constructions imply such results in HOL. This kind of representation is impossible using the propositions-as-types repr

The special functions of fractional calc
The special functions of fractional calculus as generalized fractional calculus operators of some basic functions
โœ Virginia Kiryakova ๐Ÿ“‚ Article ๐Ÿ“… 2010 ๐Ÿ› Elsevier Science ๐ŸŒ English โš– 964 KB

## H-functions a b s t r a c t We propose a unified approach to the so-called Special Functions of Fractional Calculus (SFs of FC), recently enjoying increasing interest from both theoretical mathematicians and applied scientists. This is due to their role as solutions of fractional order different

Absolute Continuity and the Uniqueness o
Absolute Continuity and the Uniqueness of the Constructive Functional Calculus
โœ Douglas Bridges; Hajime Ishihara ๐Ÿ“‚ Article ๐Ÿ“… 1994 ๐Ÿ› John Wiley and Sons ๐ŸŒ English โš– 470 KB

## Abstract The constructive functional calculus for a sequence of commuting selfadjoint operators on a separable Hilbert space is shown to be independent of the orthonormal basis used in its construction. The proof requires a constructive criterion for the absolute continuity of two positive measu

Student understanding of basic calculus
Student understanding of basic calculus concepts: Interaction with the graphics calculator
โœ A.Darien Lauten; Karen Graham; Joan Ferrini-Mundy ๐Ÿ“‚ Article ๐Ÿ“… 1994 ๐Ÿ› Elsevier Science ๐ŸŒ English โš– 825 KB

The recent efforts to reform calculus have, in many cases, included increased use of technology. Several studies have explored the interaction between the use of technology and student learning of calculus. Our study seeks to build on this work by exploring the understanding of basic calculus concep