Return to Article Details Recent Advances in Σ-definability over Continuous Data Types Download Download PDF