✦ LIBER ✦

A General Formulation of Simultaneous Inductive-Recursive Definitions in Type Theory

✍ Scribed by Peter Dybjer

No coin nor oath required. For personal study only.

📜 SIMILAR VOLUMES

Equivalence of Some Definitions of Recur

✍ F. Lowenthal 📂 Article 📅 1976 🏛 Association for Symbolic Logic 🌐 English ⚖ 238 KB

A spinor formulation of electromagnetic

✍ M. Sachs 📂 Article 📅 1964 🏛 Società Italiana di Fisica ⚖ 711 KB

A spinor formulation of electromagnetic

✍ M. Sachs 📂 Article 📅 1964 🏛 Società Italiana di Fisica ⚖ 44 KB

Theory of strings and membranes in an ex

✍ Aurilia, A.; Christodoulou, D. 📂 Article 📅 1979 🏛 American Institute of Physics 🌐 English ⚖ 763 KB

The General Theory of Electromagnetic In

✍ J. T. Weaver 📂 Article 📅 1971 🏛 John Wiley and Sons 🌐 English ⚖ 915 KB

A Mixture Theory for the Genesis of Resi

✍ Araujo, Robyn P.; McElwain, D. L. Sean 📂 Article 📅 2005 🏛 Society for Industrial and Applied Mathematics 🌐 English ⚖ 240 KB