Theory Presentation Combinators.

Mon, 01 Jan 2018 00:00:00 +0100

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