Tilbage til artikeldetaljer Recent Advances in Σ-definability over Continuous Data Types Download Download PDF