Home
Scholarly Works
Theory Presentation Combinators
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

August 17, 2012

DOI

10.1007/978-3-642-31374-5_14

ISSN

0302-9743

Labels

View published work (Non-McMaster Users)

Contact the Experts team