𝔖 Bobbio Scriptorium
✦   LIBER   ✦

The Interpretation of Intuitionistic Type Theory in Locally Cartesian Closed Categories – an Intuitionistic Perspective

✍ Scribed by Alexandre Buisse; Peter Dybjer


Book ID
108127003
Publisher
Elsevier Science
Year
2008
Tongue
English
Weight
273 KB
Volume
218
Category
Article
ISSN
1571-0661

No coin nor oath required. For personal study only.


📜 SIMILAR VOLUMES


[Lecture Notes in Computer Science] Arti
✍ Rutkowski, Leszek; Scherer, Rafał; Tadeusiewicz, Ryszard; Zadeh, Lotfi A.; Zurad 📂 Article 📅 2010 🏛 Springer Berlin Heidelberg 🌐 German ⚖ 142 KB

This Volume Constitutes The Proceedings Of The 10th International Conference On Artificial Intelligence And Soft Computing, Icaisc'2010, Held In Zakopane, Poland In June 13-17, 2010. The Articles Are Organized In Topical Sections On Fuzzy Systems And Their Applications; Data Mining, Classification A