Computational Interpretations of Analysis via Products of Selection Functions

14 years 3 months ago

Download www.cs.bham.ac.uk

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

Martín Hötzel Escardó, Paulo Ol

Real-time Traffic

Applied Computing | CIE 2010 | Computational Interpretation | Related Inﬁnite Products | Wellknown Functional Interpretations |

claim paper

» GOFFA Gene Ontology For Functional Analysis A FDA Gene Ontology Tool for Analysis of Geno...

» Acorn A grid computing system for constraint based modeling and visualization of the genom...

» A Logical Product Approach to Zonotope Intersection

» Coordination and beyond social functions of groups in open content production

» Feature selection via sensitivity analysis of SVM probabilistic outputs

» Feature Selection via Mathematical Programming

» Market equilibrium via the excess demand function

» DirectProduct Volumetric Parameterization of Handlebodies via Harmonic Fields

Post Info
More Details (n/a)

Added	19 Jul 2010
Updated	19 Jul 2010
Type	Conference
Year	2010
Where	CIE
Authors	Martín Hötzel Escardó, Paulo Oliva

Comments (0)

Sciweavers

Computational Interpretations of Analysis via Products of Selection Functions

Applied Computing | CIE 2010 | Computational Interpretation | Related Inﬁnite Products | Wellknown Functional Interpretations |

Explore & Download

Productivity Tools

Document Tools

Image Tools

Sciweavers