Computational Interpretations of Analysis via Products of Selection Functions
Research output: Chapter in Book/Report/Conference proceeding › Conference contribution
Authors
Colleges, School and Institutes
Details
Original language | English |
---|---|
Title of host publication | Programs, Proofs, Processes |
Subtitle of host publication | 6th Conference on Computability in Europe, CiE 2010, Ponta Delgada, Azores, Portugal, June 30 – July 4, 2010. Proceedings |
Editors | F Ferreira, B Lowe, E Mayordomo, LM Gomes |
Publication status | Published - 1 Jan 2010 |
Publication series
Name | Lecture Notes in Computer Science |
---|---|
Publisher | Springer |
Volume | 6158 |
ISSN (Print) | 0302-9743 |