✦ LIBER ✦

Topological inductive definitions

✍ Scribed by Giovanni Curi

No coin nor oath required. For personal study only.

📜 SIMILAR VOLUMES

Non-deterministic inductive definitions

✍ Berg, Benno 📂 Article 📅 2012 🏛 Springer 🌐 English ⚖ 259 KB

Inductive definitions over finite struct

✍ Daniel Leivant 📂 Article 📅 1990 🏛 Elsevier Science 🌐 English ⚖ 732 KB

Structuring Metatheory on Inductive Defi

✍ David Basin; Seán Matthews 📂 Article 📅 2000 🏛 Elsevier Science 🌐 English ⚖ 149 KB

Invisible Ordinals and Inductive Definit

✍ Evangelos Kranakis 📂 Article 📅 1982 🏛 John Wiley and Sons 🌐 English ⚖ 613 KB

Topological regular semigroups and topol

✍ A. R. Rajan 📂 Article 📅 1993 🏛 Springer 🌐 English ⚖ 396 KB

Realizability interpretation of generali

✍ Satoshi Kobayashi; Makoto Tatsuta 📂 Article 📅 1994 🏛 Elsevier Science 🌐 English ⚖ 890 KB