Theory Presentation Combinators

Details Theory Presentation Combinators Theory Presentation Combinators

2012-03-31

arxiv.org/abs/1204.0053v2

Computer Science

Mathematical Software

Extended version of paper to appear in proceedings of CICM 2012

Scientific paper

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.

Affiliated with

Also associated with

No associations

Rating

Theory Presentation Combinators does not yet have a rating. At this time, there are no reviews or comments for this scientific paper.

If you have personal experience with Theory Presentation Combinators, we encourage you to share that experience with our LandOfFree.com community. Your opinion is very important and Theory Presentation Combinators will most certainly appreciate the feedback.

Rate now

Comments { 0 }

Profile ID: LFWR-SCP-O-655189