Countable Non-Determinism and Uncountable Limits.

Pietro Di Gianantonio, Furio Honsell, Silvia Liani, Gordon D. Plotkin

Browse the full CONCUR paper archive.