✦ LIBER ✦

Specifications via Realizability

✍ Scribed by Andrej Bauer; Christopher A. Stone

No coin nor oath required. For personal study only.

📜 SIMILAR VOLUMES

Developing Theories of Types and Computa

✍ Lars Birkedal 📂 Article 📅 2000 🏛 Elsevier Science 🌐 English ⚖ 38 KB

Realizability of second-moment closure v

✍ Durbin, P. A.; Speziale, C. G. 📂 Article 📅 1994 🏛 Cambridge University Press 🌐 English ⚖ 239 KB

Realizing dimension functions via homolo

✍ Jerzy Dydak 📂 Article 📅 1995 🏛 Elsevier Science 🌐 English ⚖ 472 KB

Towards quality requirements via animate

✍ Jawed I. Siddiqi; Ian C. Morrey; Chris R. Roast; Mehmet B. Ozcan 📂 Article 📅 1997 🏛 Springer 🌐 English ⚖ 246 KB

Elementary realizability

✍ Zlatan Damnjanovic 📂 Article 📅 1997 🏛 Springer Netherlands 🌐 English ⚖ 406 KB

Multiple Realizability

✍ Eric Funkhouser 📂 Article 📅 2007 🏛 John Wiley and Sons 🌐 English ⚖ 155 KB