✦ LIBER ✦

The Connection between Equivalence of Proofs and Cartesian Closed Categories

✍ Scribed by Mann, C. R.

No coin nor oath required. For personal study only.

📜 SIMILAR VOLUMES

Coherence in cartesian closed categories

✍ M. E. Szabo 📂 Article 📅 1989 🏛 Springer Netherlands 🌐 English ⚖ 617 KB

The category of finite sets and Cartesia

✍ S. V. Solov'ev 📂 Article 📅 1983 🏛 Springer US 🌐 English ⚖ 992 KB

Heredity and cartesian closed coreflecti

✍ Juraj Činčura 📂 Article 📅 1996 🏛 Elsevier Science 🌐 English ⚖ 359 KB

A Connection between Furstenberg’s and E

✍ Javier, Rose-Marie 📂 Article 📅 2014 🏛 Mathematical Association of America 🌐 English ⚖ 162 KB

A direct proof of the equivalence of fre

✍ Wojciech Zielonka 📂 Article 📅 1978 🏛 Springer Netherlands 🌐 English ⚖ 873 KB

Proof of the equivalence between double

✍ A. Peterman; A. Zichichi 📂 Article 📅 1994 🏛 Springer-Verlag ⚖ 237 KB