Skip to content

Quadratic Correctness Criterion for Non-commutative Logic.

Virgile Mogbil

VenueBCSL
Year2001
ProceedingsCSL

Browse the full CSL paper archive.