✦ LIBER ✦

Cartesian closed Dialectica categories

✍ Scribed by Bodil Biering

No coin nor oath required. For personal study only.

📜 SIMILAR VOLUMES

Fixed points in cartesian closed categor

✍ Michael Barr 📂 Article 📅 1990 🏛 Elsevier Science 🌐 English ⚖ 782 KB

A cartesian closed category for topology

✍ G.A. Edgar 📂 Article 📅 1976 🏛 Elsevier Science ⚖ 947 KB

The largest cartesian closed category of

✍ Guo-Qiang Zhang 📂 Article 📅 1996 🏛 Elsevier Science 🌐 English ⚖ 731 KB

The Maximality of Cartesian Categories

✍ Kosta Došen; Zoran Petrić 📂 Article 📅 2001 🏛 John Wiley and Sons 🌐 English ⚖ 146 KB

A note on inconsistencies caused by fixp

✍ Hagen Huwig; Axel Poigné 📂 Article 📅 1990 🏛 Elsevier Science 🌐 English ⚖ 845 KB

Semantics of the typed λ-calculus with s

✍ John W. Gray 📂 Article 📅 1993 🏛 Elsevier Science 🌐 English ⚖ 994 KB