Filters applied Area: Natural Sciences Sub area: Computer and Information Science Type: Educación Superior Department: Montevideo Tag: Classical realizability