Skip to content

Non-commutativity and MELL in the Calculus of Structures.

Alessio Guglielmi, Lutz Straburger

VenueBCSL
Year2001
ProceedingsCSL

Browse the full CSL paper archive.