I.: Consistency of the theory of contexts (2006)

by A Bucalo, M Hofmann, F Honsell, M Miculan, Scagnetto
Venue:J. Funct. Progr