✦ LIBER ✦

A new formalization of a meta-game using the lambda calculus

✍ Scribed by Gen Masumoto; Takashi Ikegami

No coin nor oath required. For personal study only.

📜 SIMILAR VOLUMES

A formalization of the modal proposition

✍ Anita Wasilewska 📂 Article 📅 1971 🏛 Springer Netherlands 🌐 English ⚖ 535 KB

A formalization of the propositional cal

✍ Cecylia Rauszer 📂 Article 📅 1974 🏛 Springer Netherlands 🌐 English ⚖ 427 KB

A Full Formalization of SLD-Resolution i

✍ M. Jaume 📂 Article 📅 1999 🏛 Springer Netherlands 🌐 English ⚖ 153 KB

A binary modal logic for the intersectio

✍ Silvio Valentini; Matteo Viale 📂 Article 📅 2003 🏛 Elsevier Science 🌐 English ⚖ 196 KB

A Finite Equational Axiomatization of th

✍ Antonino Salibra; Robert Goldblatt 📂 Article 📅 1999 🏛 Elsevier Science 🌐 English ⚖ 371 KB

A consistent extension of the lambda-cal

✍ Klaus J. Berkling; Elfriede Fehr 📂 Article 📅 1982 🏛 Elsevier Science ⚖ 504 KB