✦ LIBER ✦

A type-theoretic approach to program development

✍ Scribed by Wei Li

No coin nor oath required. For personal study only.

📜 SIMILAR VOLUMES

A type-theoretic approach for program de

✍ Wei Li 📂 Article 📅 1990 🏛 Elsevier Science 🌐 English ⚖ 792 KB

MicroSim-a new approach to program devel

✍ David Cosserat 📂 Article 📅 1979 🏛 Elsevier Science 🌐 English ⚖ 391 KB

A DECISION THEORETIC APPROACH TO PRICING

✍ JEROME D. BRAVERMAN 📂 Article 📅 1971 🏛 Decision Sciences Institute, Georgia State Univers 🌐 English ⚖ 769 KB

A Lie Theoretic Approach to Renormalizat

✍ Kurusch Ebrahimi-Fard; José M. Gracia-Bondía; Frédéric Patras 📂 Article 📅 2007 🏛 Springer 🌐 English ⚖ 308 KB

A proof-theoretic approach to entailment

✍ N. Tennant 📂 Article 📅 1980 🏛 Springer Netherlands 🌐 English ⚖ 818 KB

A recursion-theoretic approach to NP

✍ I. Oitavem 📂 Article 📅 2011 🏛 Elsevier Science 🌐 English ⚖ 210 KB