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 |