Theory Presentation Combinators
| Autor: | Carette, Jacques, O'Connor, Russell |
|---|---|
| Rok vydání: | 2012 |
| Předmět: | |
| Zdroj: | AISC/MKM/Calculemus 2012: 202-215 |
| Druh dokumentu: | Working Paper |
| DOI: | 10.1007/978-3-642-31374-5_14 |
| Popis: | We motivate and give semantics to theory presentation combinators as the foundational building blocks for a scalable library of theories. The key observation is that the category of contexts and fibered categories are the ideal theoretical tools for this purpose. Comment: Extended version of paper to appear in proceedings of CICM 2012 |
| Databáze: | arXiv |
| Externí odkaz: |
|