Continuous Algebras with Hypotheses.

Lukas Mulder, Damien Pous, Jana Wagemaker

Browse the full CONCUR paper archive.