Computational Interpretations of Analysis via Products of Selection Functions

Research output: Chapter in Book/Report/Conference proceedingConference contribution

Authors

Colleges, School and Institutes

Details

Original languageEnglish
Title of host publicationPrograms, Proofs, Processes
Subtitle of host publication6th Conference on Computability in Europe, CiE 2010, Ponta Delgada, Azores, Portugal, June 30 – July 4, 2010. Proceedings
EditorsF Ferreira, B Lowe, E Mayordomo, LM Gomes
Publication statusPublished - 1 Jan 2010

Publication series

NameLecture Notes in Computer Science
PublisherSpringer
Volume6158
ISSN (Print)0302-9743