Theory Presentation Combinators.

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

Jacques Carette , Russell O'Connor:
Theory Presentation Combinators. AISC/MKM/Calculemus 2012: 202-215