We show that the computational interpretation of full comprehension via two well-known functional interpretations (dialectica and modified realizability) corresponds to two closely related infinite products of selection functions. © 2010 Springer-Verlag Berlin Heidelberg.
CITATION STYLE
Escardó, M., & Oliva, P. (2010). Computational interpretations of analysis via products of selection functions. In Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics) (Vol. 6158 LNCS, pp. 141–150). https://doi.org/10.1007/978-3-642-13962-8_16
Mendeley helps you to discover research relevant for your work.