17 citations · 77 across the 28 of their papers we have counts for
1 paper · 1 filter
Jacques Carette, Russell O'Connor
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 o…