Consistency of the theory of contexts (2006)

by A Bucalo, M Hofmann, F Honsell, M Miculan, I Scagnetto
Venue:Journal of Functional Programming