Theory Presentation Combinators.

Sun, 01 Jan 2012 00:00:00 +0100

Jacques Carette, Russell O'Connor:
Theory Presentation Combinators. CoRR abs/1204.0053 (2012)