✦ LIBER ✦

A Simply Typed λ-Calculus of Forward Automatic Differentiation

✍ Scribed by Manzyuk, Oleksandr

No coin nor oath required. For personal study only.

📜 SIMILAR VOLUMES

General recursive functions in a very si

✍ G. Jacopini; G. Sontacchi 📂 Article 📅 1993 🏛 Elsevier Science 🌐 English ⚖ 526 KB

Short proofs of normalization for the si

✍ Felix Joachimski; Ralph Matthes 📂 Article 📅 2003 🏛 Springer 🌐 English ⚖ 302 KB

A semantic characterization of the well-

✍ Thomas Forster 📂 Article 📅 1993 🏛 Elsevier Science 🌐 English ⚖ 901 KB

Semantics of the typed λ-calculus with s

✍ John W. Gray 📂 Article 📅 1993 🏛 Elsevier Science 🌐 English ⚖ 994 KB

A Formalised Proof of the Soundness and

✍ Catarina Coquand 📂 Article 📅 2002 🏛 Springer 🌐 English ⚖ 422 KB

Weak completeness of type assignment in

✍ M. Mezghiche 📂 Article 📅 1991 🏛 Elsevier Science 🌐 English ⚖ 234 KB