✦ LIBER ✦

Comparing models of higher type computation

✍ Scribed by G. Rosolini; Th. Streicher

No coin nor oath required. For personal study only.

📜 SIMILAR VOLUMES

A framework for comparing models of comp

✍ Lee, E.A.; Sangiovanni-Vincentelli, A. 📂 Article 📅 1998 🏛 IEEE 🌐 English ⚖ 365 KB

Comparing higher order models for the EO

✍ Chad M. Gundy, Peter M. Fayers, Mogens Groenvold, Morten Aa. Petersen, Neil W. S 📂 Article 📅 2011 🏛 Springer Netherlands 🌐 English ⚖ 313 KB

Interpreting higher computations as type

✍ L. Kristiansen; D. Normann 📂 Article 📅 1994 🏛 Springer 🌐 English ⚖ 985 KB

Comparing plant and fungal gravitropism

✍ David Moore; Alvidas Stočkus 📂 Article 📅 1998 🏛 Elsevier Science 🌐 English ⚖ 425 KB

M-estimators of some GARCH-type models;

✍ Farhat Iqbal; Kanchan Mukherjee 📂 Article 📅 2009 🏛 Springer US 🌐 English ⚖ 372 KB

A comparative analysis on models of high

✍ Maoyuan Pan; Dan Luo 📂 Article 📅 2008 🏛 Higher Education Press and Springer 🌐 English ⚖ 272 KB