Experiments on an internal approach to typed algorithms in analysis

MaRDI QIDQ2906569zbMATH OpenFDO

Authors Dag Normann

Publication date 5 September 2012

zbMATH Keywords

computational analysislimit spacessequential spacefunctionals of higher finite typegeneralized computability theoryinternal algorithminternal computability over a space

Mathematics Subject Classification ID

Higher-type and set recursion theory (03D65)

Recommendations

• Banach spaces as data types
• Computable Banach spaces via domain theory
• A density theorem for hierarchies of limit spaces over separable metric spaces
• Limit spaces with approximations
• Logical Approaches to Computational Barriers

Cited in

(5)

• scientific article; zbMATH DE number 3916254 (Why is no real title available?)
• Limit spaces with approximations
• Two algorithms in search of a type-system
• A density theorem for hierarchies of limit spaces over separable metric spaces
• Banach spaces as data types

This page was built for publication: Experiments on an internal approach to typed algorithms in analysis

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q2906569)