Switch to: References

Add citations

You must login to add citations.
  1. Computing with functionals: Computability theory or computer science?Dag Normann - 2006 - Bulletin of Symbolic Logic 12 (1):43-59.
    We review some of the history of the computability theory of functionals of higher types, and we will demonstrate how contributions from logic and theoretical computer science have shaped this still active subject.
    Download  
     
    Export citation  
     
    Bookmark   1 citation