Computational Interpretations of Analysis via Products of Selection Functions

Martin Escardo; P Oliva

doi:10.1007/978-3-642-13962-8_16

Computational Interpretations of Analysis via Products of Selection Functions

Martin Escardo, P Oliva

Computer Science

Research output: Chapter in Book/Report/Conference proceeding › Conference contribution

13 Citations (Scopus)

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
Publisher	Springer
Pages	141-150
ISBN (Electronic)	978-3-642-13962-8
ISBN (Print)	978-3-642-13961-1
DOIs	https://doi.org/10.1007/978-3-642-13962-8_16
Publication status	Published - 1 Jan 2010

Publication series

Name	Lecture Notes in Computer Science
Publisher	Springer
Volume	6158
ISSN (Print)	0302-9743

Access to Document

10.1007/978-3-642-13962-8_16

Cite this

Escardo, M., & Oliva, P. (2010). Computational Interpretations of Analysis via Products of Selection Functions. In F. Ferreira, B. Lowe, E. Mayordomo, & LM. Gomes (Eds.), Programs, Proofs, Processes: 6th Conference on Computability in Europe, CiE 2010, Ponta Delgada, Azores, Portugal, June 30 – July 4, 2010. Proceedings (pp. 141-150). (Lecture Notes in Computer Science; Vol. 6158). Springer. https://doi.org/10.1007/978-3-642-13962-8_16

Escardo, Martin ; Oliva, P. / Computational Interpretations of Analysis via Products of Selection Functions. Programs, Proofs, Processes: 6th Conference on Computability in Europe, CiE 2010, Ponta Delgada, Azores, Portugal, June 30 – July 4, 2010. Proceedings. editor / F Ferreira ; B Lowe ; E Mayordomo ; LM Gomes. Springer, 2010. pp. 141-150 (Lecture Notes in Computer Science).

@inproceedings{8afcea66d91c4a62b20f71a6b55a5504,

title = "Computational Interpretations of Analysis via Products of Selection Functions",

author = "Martin Escardo and P Oliva",

year = "2010",

month = jan,

day = "1",

doi = "10.1007/978-3-642-13962-8_16",

language = "English",

isbn = "978-3-642-13961-1",

series = "Lecture Notes in Computer Science",

publisher = "Springer",

pages = "141--150",

editor = "F Ferreira and B Lowe and E Mayordomo and LM Gomes",

booktitle = "Programs, Proofs, Processes",

}

Escardo, M & Oliva, P 2010, Computational Interpretations of Analysis via Products of Selection Functions. in F Ferreira, B Lowe, E Mayordomo & LM Gomes (eds), Programs, Proofs, Processes: 6th Conference on Computability in Europe, CiE 2010, Ponta Delgada, Azores, Portugal, June 30 – July 4, 2010. Proceedings. Lecture Notes in Computer Science, vol. 6158, Springer, pp. 141-150. https://doi.org/10.1007/978-3-642-13962-8_16

Computational Interpretations of Analysis via Products of Selection Functions. / Escardo, Martin; Oliva, P.
Programs, Proofs, Processes: 6th Conference on Computability in Europe, CiE 2010, Ponta Delgada, Azores, Portugal, June 30 – July 4, 2010. Proceedings. ed. / F Ferreira; B Lowe; E Mayordomo; LM Gomes. Springer, 2010. p. 141-150 (Lecture Notes in Computer Science; Vol. 6158).

Research output: Chapter in Book/Report/Conference proceeding › Conference contribution

TY - GEN

T1 - Computational Interpretations of Analysis via Products of Selection Functions

AU - Escardo, Martin

AU - Oliva, P

PY - 2010/1/1

Y1 - 2010/1/1

U2 - 10.1007/978-3-642-13962-8_16

DO - 10.1007/978-3-642-13962-8_16

M3 - Conference contribution

SN - 978-3-642-13961-1

T3 - Lecture Notes in Computer Science

SP - 141

EP - 150

BT - Programs, Proofs, Processes

A2 - Ferreira, F

A2 - Lowe, B

A2 - Mayordomo, E

A2 - Gomes, LM

PB - Springer

ER -

Escardo M, Oliva P. Computational Interpretations of Analysis via Products of Selection Functions. In Ferreira F, Lowe B, Mayordomo E, Gomes LM, editors, Programs, Proofs, Processes: 6th Conference on Computability in Europe, CiE 2010, Ponta Delgada, Azores, Portugal, June 30 – July 4, 2010. Proceedings. Springer. 2010. p. 141-150. (Lecture Notes in Computer Science). doi: 10.1007/978-3-642-13962-8_16