✦ LIBER ✦

A computational model for multi-variable differential calculus

✍ Scribed by Edalat, Abbas; Lieutier, André; Pattinson, Dirk

No coin nor oath required. For personal study only.

📜 SIMILAR VOLUMES

Computational algorithms for linear vari

✍ Tian, G.Y.; Zhao, Z.X.; Baines, R.W.; Zhang, N. 📂 Article 📅 1997 🏛 The Institution of Electrical Engineers 🌐 English ⚖ 375 KB

Models for the computational λ-calculus

✍ John Power 📂 Article 📅 2001 🏛 Elsevier Science 🌐 English ⚖ 155 KB

A calculus for computing Filippov's diff

✍ Paden, B.; Sastry, S. 📂 Article 📅 1987 🏛 IEEE ⚖ 1012 KB

Calculus for interval functions of a rea

✍ S. Markov 📂 Article 📅 1979 🏛 Springer Vienna 🌐 English ⚖ 600 KB

A Calculus for “environment-aware” compu

✍ Viviana Bono; Ferruccio Damiani; Paola Giannini 📂 Article 📅 2002 🏛 Elsevier Science 🌐 English ⚖ 208 KB

A Lambda Calculus for Quantum Computatio

✍ van Tonder, André 📂 Article 📅 2004 🏛 Society for Industrial and Applied Mathematics 🌐 English ⚖ 228 KB