✦ LIBER ✦

General Models, Descriptions, and Choice in Type Theory

✍ Scribed by Peter B. Andrews

No coin nor oath required. For personal study only.

📜 SIMILAR VOLUMES

Quantitative descriptions of resource ch

✍ Peter A. Abrams 📂 Article 📅 2009 🏛 Springer Japan 🌐 English ⚖ 341 KB

Bianchi Type-1 vacuum models in modified

✍ R.C. Sahu; U.K. Panigrahi 📂 Article 📅 2003 🏛 Springer Netherlands 🌐 English ⚖ 74 KB

Generational Analysis: Description, Expl

✍ Allan R. Buss 📂 Article 📅 1974 🏛 John Wiley and Sons 🌐 English ⚖ 918 KB

Dilatancy in general Cambridge-type mode

✍ Jefferies, M. G.; Shuttle, D. A. 📂 Article 📅 2002 🏛 Thomas Telford 🌐 English ⚖ 637 KB

Towards Formalizing Categorical Models o

✍ Alexandre Buisse; Peter Dybjer 📂 Article 📅 2008 🏛 Elsevier Science 🌐 English ⚖ 280 KB

Pedestrian route-choice and activity sch

✍ S.P. Hoogendoorn; P.H.L. Bovy 📂 Article 📅 2004 🏛 Elsevier Science 🌐 English ⚖ 814 KB