![Logic / Type theory / Metalogic / Structure / Interpretation / Subtype polymorphism / Sheaf / Function / Unification / Mathematics / Mathematical logic / Model theory Logic / Type theory / Metalogic / Structure / Interpretation / Subtype polymorphism / Sheaf / Function / Unification / Mathematics / Mathematical logic / Model theory](https://www.pdfsearch.io/img/f65839e95f792ff583e944fd3c8f1d3a.jpg) Date: 2008-03-13 12:28:13Logic Type theory Metalogic Structure Interpretation Subtype polymorphism Sheaf Function Unification Mathematics Mathematical logic Model theory | | Working with Mathematical Structures in Type Theory Claudio Sacerdoti Coen and Enrico Tassi Department of Computer Science, University of Bologna Mura Anteo Zamboni, 7 – 40127 Bologna, ITALY {sacerdot,tassi}@cs.unibo.iAdd to Reading ListSource URL: www.cs.unibo.itDownload Document from Source Website File Size: 260,46 KBShare Document on Facebook
|