𝔖 Bobbio Scriptorium
✦   LIBER   ✦

Excellence in Rheumatology 2012 25–28 January Madrid

✍ Scribed by George D. Kitas,; George C. Tsokos; Piet Van Riel


Book ID
114930901
Publisher
Wiley (Blackwell Publishing)
Year
2012
Tongue
English
Weight
66 KB
Volume
15
Category
Article
ISSN
1756-1841

No coin nor oath required. For personal study only.


📜 SIMILAR VOLUMES


[IEEE 2012 27th Annual IEEE Symposium on
✍ Awodey, Steve; Gambino, Nicola; Sojakova, Kristina 📂 Article 📅 2012 🏛 IEEE ⚖ 244 KB

Homotopy type theory is an interpretation of Martin-Löf's constructive type theory into abstract homotopy theory. There results a link between constructive mathematics and algebraic topology, providing topological semantics for intensional systems of type theory as well as a computational approach t