✦ LIBER ✦

On the strength of dependent products in the type theory of Martin-Löf

✍ Scribed by Richard Garner

Publisher: Elsevier Science
Year: 2009
Tongue: English
Weight: 672 KB
Volume: 160
Category: Article
ISSN: 0168-0072
DOI: 10.1016/j.apal.2008.12.003

No coin nor oath required. For personal study only.

📜 SIMILAR VOLUMES

Possible forms of evaluation or reductio

Possible forms of evaluation or reduction in Martin-Löf type theory

✍ M.W. Bunder 📂 Article 📅 1985 🏛 Elsevier Science 🌐 English ⚖ 391 KB

On the Spatial Dependence of the Permitt

On the Spatial Dependence of the Permittivity in the F-Centre Theory

✍ A. B. Gerasimov; Z. G. Gogua; A. A. Tsertsvadze 📂 Article 📅 1985 🏛 John Wiley and Sons 🌐 English ⚖ 142 KB

ON THE REDUCTION OF TYPE THEORY

✍ Marcel Crabbé 📂 Article 📅 1983 🏛 John Wiley and Sons 🌐 English ⚖ 210 KB

A limit theorem for the size of the nth

A limit theorem for the size of the nth generation of an age-dependent branching process

✍ Anders Martin-Löf 📂 Article 📅 1966 🏛 Elsevier Science 🌐 English ⚖ 268 KB

Programming in Martin-Löf's Type Theory:

Programming in Martin-Löf's Type Theory: an Introduction : Bengt Nordström, Kent Petersson and Jan M. Smith Intl. Series of Monographs on Computer Science, Vol. 7, Oxford Science Publications, Oxford, 1990, 231 pages

✍ E. Van Gestel 📂 Article 📅 1991 🏛 Elsevier Science 🌐 English ⚖ 85 KB

The effect of water contents on the stre

The effect of water contents on the strength of calcium sulphate plaster products

✍ Andrews, H. 📂 Article 📅 1946 🏛 Wiley (John Wiley & Sons) ⚖ 442 KB 👁 1 views

f f i ~c i t ~s ~o ~t . -l ' l i ~~ results show tliiit ii cousitlern\de rrcftirtioii iii tlic strriigth of pliistrrbonrd is brouplit nlioiit liy the iiitdiirtioii of 57; of water. Tlie figurcs obtniiietl froiii \vetting rind tlryiiig cyclrs suggrst tliirt, if tlic cyrlrs nrc of short tliiriitioii,