Skip to content

Light Linear Logic with Controlled Weakening.

Max I. Kanovich

Year2009
ProceedingsLFCS

Browse the full LFCS paper archive.