Journal article
Theory Presentation Combinators
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.
Authors
Carette J; O’Connor R
Journal
Lecture Notes in Computer Science, Vol. 7362, , pp. 202–215
Publisher
Springer Nature
Publication Date
2012
DOI
10.1007/978-3-642-31374-5_14
ISSN
0302-9743