Name
Abstract | ||
|---|---|---|
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. |
Year | DOI | Venue |
|---|---|---|
2012 | 10.1007/978-3-642-31374-5_14 | AISC/MKM/Calculemus |
Keywords | DocType | Volume |
theory presentation combinators,fibered category,foundational building block,scalable library,ideal theoretical tool,key observation | Journal | abs/1204.0053 |
ISSN | Citations | PageRank |
AISC/MKM/Calculemus 2012: 202-215 | 1 | 0.36 |
References | Authors | |
21 | 2 | |
Name | Order | Citations | PageRank |
|---|---|---|---|
| Jacques Carette | 1 | 358 | 38.45 |
| Russell O'Connor | 2 | 154 | 11.75 |