Paiva: Constructive CK for Contexts (1997)

by M Fairtlough, M Mendler
Venue:Propositional Lax Logic. Information and Computation