Skip to content

Classical and Intuitionistic Subexponential Logics Are Equally Expressive.

Kaustuv Chaudhuri

VenueBCSL
Year2010
ProceedingsCSL

Browse the full CSL paper archive.