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

Associated Experts

Jacques Carette

Professor, Faculty of Engineering

Labels

Fields of Research (FoR)

46 Information and computing sciences

View published work (Non-McMaster Users)

Contact the Experts team

Get technical help

or

Provide website feedback