✦ LIBER ✦

The cohomology of proofs

✍ Scribed by Colin Adams; Steven G. Krantz

Publisher: Springer-Verlag
Year: 2006
Tongue: English
Weight: 262 KB
Volume: 28
Category: Article
ISSN: 0343-6993
DOI: 10.1007/bf02986881

No coin nor oath required. For personal study only.

📜 SIMILAR VOLUMES

A cohomological proof of the torus theor

A cohomological proof of the torus theorem

✍ James P. Lin 📂 Article 📅 1985 🏛 Springer-Verlag 🌐 French ⚖ 303 KB

A simple proof of the Künneth theorem fo

A simple proof of the Künneth theorem for Alexander Cohomology

✍ Kermit Sigmon 📂 Article 📅 1975 🏛 Springer 🌐 English ⚖ 338 KB

The logic of proofs, semantically

✍ Melvin Fitting 📂 Article 📅 2005 🏛 Elsevier Science 🌐 English ⚖ 284 KB

The Strength of Multilinear Proofs

✍ Ran Raz; Iddo Tzameret 📂 Article 📅 2008 🏛 Springer 🌐 English ⚖ 799 KB

Inheritance of proofs

✍ Hofmann, Martin; Naraschewski, Wolfgang; Steffen, Martin; Stroup, Terry 📂 Article 📅 1998 🏛 John Wiley and Sons 🌐 English ⚖ 176 KB

The Curry-Howard isomorphism, a fundamental property shared by many type theories, establishes a direct correspondence between programs and proofs. This suggests that the same structuring principles that ease programming should be useful for proving as well. To exploit object-oriented structuring m

Knowledge of proofs

✍ Peter Pagin 📂 Article 📅 1994 🏛 Springer Netherlands 🌐 English ⚖ 822 KB