Computational Interpretations of Analysis via Products of Selection Functions

Abstract. We show that the computational interpretation of full comprehension via two wellknown functional interpretations (dialectica and modified realizability) corresponds to two closely related infinite products of selection functions.

• Type: Conference
• Year: 2010
• Where: CIE
• Authors: Martín Hötzel Escardó, Paulo Oliva
• Keywords: Applied Computing, CIE 2010, Computational Interpretation, Related Infinite Products, Wellknown Functional Interpretations