Theory Presentation Combinators.

Jacques Carette, Russell O'Connor

Browse the full AISC paper archive.