Experiments on an internal approach to typed algorithms in analysis

zbMATH Open1277.03042MaRDI QIDQ2906569FDOQ2906569

Authors: Dag Normann 

Publication date: 5 September 2012

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

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)

Cited In (5)

• Title not available (Why is that?)
• 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)