✦ LIBER ✦

Fixed points in cartesian closed categories

✍ Scribed by Michael Barr

No coin nor oath required. For personal study only.

📜 SIMILAR VOLUMES

Cartesian closed Dialectica categories

✍ Bodil Biering 📂 Article 📅 2008 🏛 Elsevier Science 🌐 English ⚖ 920 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

Some results on fixed points in a cartes

✍ JoséLuiz Corrêa Camargo 📂 Article 📅 1992 🏛 Elsevier Science 🌐 English ⚖ 322 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