✦ LIBER ✦

Some results on extensionality in lambda calculus

✍ Scribed by Benedetto Intrigila; Richard Statman

No coin nor oath required. For personal study only.

📜 SIMILAR VOLUMES

On Functors Expressible in the Polymorph

✍ J.C. Reynolds; G.D. Plotkin 📂 Article 📅 1993 🏛 Elsevier Science 🌐 English ⚖ 900 KB

On Shapiro's results in quasidifferentia

✍ Bernd Luderer; Roland Rösiger 📂 Article 📅 1990 🏛 Springer-Verlag 🌐 English ⚖ 191 KB

Some monotonicity results for minimizers

✍ Savin, Ovidiu; Valdinoci, Enrico 📂 Article 📅 2013 🏛 Elsevier Science 🌐 English ⚖ 915 KB

New extensional rheometer for elongation

✍ R. Muller; D. Froelich 📂 Article 📅 1985 🏛 Elsevier Science 🌐 English ⚖ 567 KB

Reducibility of types in typed lambda ca

✍ Wil Dekkers 📂 Article 📅 1988 🏛 Elsevier Science 🌐 English ⚖ 218 KB

One method of defining the semantics of

✍ V. N. Domrachev; Yu. V. Kapitonova; L. G. Samoilenko 📂 Article 📅 1984 🏛 Springer US 🌐 English ⚖ 632 KB