✦ LIBER ✦

A higher-order unification algorithm for inductive types and dependent types

✍ Scribed by Qingping Tan

No coin nor oath required. For personal study only.

📜 SIMILAR VOLUMES

Higher-Order Types and Meta-Programming

✍ G. Ferrari; E. Moggi; R. Pugliese 📂 Article 📅 2002 🏛 Elsevier Science 🌐 English ⚖ 201 KB

The relative order of IP3sensitivity of

✍ P. De Smet; J.B. Parys; S. Vanlingen; G. Bultynck; G. Callewaert; A. Galione; H. 📂 Article 📅 1999 🏛 Springer 🌐 English ⚖ 70 KB

Rapid algorithm for computing the electr

✍ Ishida, Kazuhiro 📂 Article 📅 1998 🏛 John Wiley and Sons 🌐 English ⚖ 236 KB

A general algorithm for rapidly computing the electron repulsion Ž . integral ERI is derived for the ACE-b3k3 formula, which has been derived w Ž .x

A C0-type higher-order theory for bendin

✍ Wu Zhen; Chen Wanji 📂 Article 📅 2010 🏛 Elsevier Science 🌐 English ⚖ 833 KB

Boundary-value problems for fourth-order

✍ V. I. Korzyuk; O. A. Konopel’ko; E. S. Cheb 📂 Article 📅 2010 🏛 Springer US 🌐 English ⚖ 335 KB

A theorem of Grünwald-type for Hermite-F

✍ Ying Guang Shi 📂 Article 📅 1994 🏛 Springer 🌐 English ⚖ 377 KB