Propositional lax logic (1997)

by Matt Fairtlough, Michael V Mendler
Venue:Information and Computation