𝔖 Bobbio Scriptorium
✦   LIBER   ✦

A Note on Complexity Measures for Inductive Classes in Constructive Type Theory

✍ Scribed by Robert L. Constable

Book ID
112252421
Publisher
Elsevier Science
Year
1998
Tongue
English
Weight
332 KB
Volume
143
Category
Article
ISSN
0890-5401

No coin nor oath required. For personal study only.

πŸ“œ SIMILAR VOLUMES

A note on Bar Induction in Constructive
A note on Bar Induction in Constructive Set Theory
✍ Michael Rathjen πŸ“‚ Article πŸ“… 2006 πŸ› John Wiley and Sons 🌐 English βš– 113 KB πŸ‘ 1 views

## Abstract Bar Induction occupies a central place in Brouwerian mathematics. This note is concerned with the strength of Bar Induction on the basis of Constructive Zermelo‐Fraenkel Set Theory, CZF. It is shown that CZF augmented by decidable Bar Induction proves the 1‐consistency of CZF. This answ

[Lecture Notes in Computer Science] Math
[Lecture Notes in Computer Science] Mathematics of Program Construction Volume 5133 || Verifying a Semantic Ξ²Ξ·-Conversion Test for Martin-LΓΆf Type Theory
✍ Audebaud, Philippe; Paulin-Mohring, Christine πŸ“‚ Article πŸ“… 2008 πŸ› Springer Berlin Heidelberg 🌐 German βš– 392 KB

This Book Constitutes The Refereed Proceedings Of The 9th International Conference On Mathematics Of Program Construction, Mpc 2008, Held In Marseille, France In July 2008. The 18 Revised Full Papers Presented Together With 1 Invited Talk Were Carefully Reviewed And Selected From 41 Submissions. Iss

[Lecture Notes in Computer Science] Theo
[Lecture Notes in Computer Science] Theory of Cryptography Volume 3876 || Pseudorandom Generators from One-Way Functions: A Simple Construction for Any Hardness
✍ Halevi, Shai; Rabin, Tal πŸ“‚ Article πŸ“… 2006 πŸ› Springer Berlin Heidelberg 🌐 German βš– 503 KB

This Book Constitutes The Refereed Proceedings Of The Third Theory Of Cryptography Conference, Tcc 2006, Held In March 2006. The 31 Revised Full Papers Presented Were Carefully Reviewed And Selected From 91 Submissions. The Papers Are Organized In Topical Sections On Zero-knowledge, Primitives, Assu