Higher-Order Computability - Theory and Applications of Computability
Latest Publications

TOTAL DOCUMENTS

(FIVE YEARS 0)

H-INDEX

(FIVE YEARS 0)

Published By Springer Berlin Heidelberg

9783662479919, 9783662479926

Latest Documents Most Cited Documents Contributed Authors Related Sources Related Keywords

The Total Continuous Functionals

Higher-Order Computability - Theory and Applications of Computability ◽

10.1007/978-3-662-47992-6_8 ◽

2015 ◽

pp. 349-430

Author(s):

John Longley ◽

Dag Normann

Keyword(s):

Continuous Functionals

Download Full-text

Theory of Computability Models

Higher-Order Computability - Theory and Applications of Computability ◽

10.1007/978-3-662-47992-6_3 ◽

2015 ◽

pp. 51-114 ◽

Cited By ~ 1

Author(s):

John Longley ◽

Dag Normann

Download Full-text

The Sequentially Realizable Functionals

Higher-Order Computability - Theory and Applications of Computability ◽

10.1007/978-3-662-47992-6_11 ◽

2015 ◽

pp. 489-504

Author(s):

John Longley ◽

Dag Normann

Download Full-text

Kleene Computability in a Total Setting

Higher-Order Computability - Theory and Applications of Computability ◽

10.1007/978-3-662-47992-6_5 ◽

2015 ◽

pp. 167-210

Author(s):

John Longley ◽

Dag Normann

Download Full-text

Related and Future Work

Higher-Order Computability - Theory and Applications of Computability ◽

10.1007/978-3-662-47992-6_13 ◽

2015 ◽

pp. 535-546

Author(s):

John Longley ◽

Dag Normann

Keyword(s):

Future Work

Download Full-text

Some Intensional Models

Higher-Order Computability - Theory and Applications of Computability ◽

10.1007/978-3-662-47992-6_12 ◽

2015 ◽

pp. 505-534

Author(s):

John Longley ◽

Dag Normann

Download Full-text

Introduction and Motivations

Higher-Order Computability - Theory and Applications of Computability ◽

10.1007/978-3-662-47992-6_1 ◽

2015 ◽

pp. 3-34

Author(s):

John Longley ◽

Dag Normann

Download Full-text

The Hereditarily Effective Operations

Higher-Order Computability - Theory and Applications of Computability ◽

10.1007/978-3-662-47992-6_9 ◽

2015 ◽

pp. 431-462

Author(s):

John Longley ◽

Dag Normann

Download Full-text

PCF and Its Models

Higher-Order Computability - Theory and Applications of Computability ◽

10.1007/978-3-662-47992-6_7 ◽

2015 ◽

pp. 279-348

Author(s):

John Longley ◽

Dag Normann

Download Full-text

Nested Sequential Procedures

Higher-Order Computability - Theory and Applications of Computability ◽

10.1007/978-3-662-47992-6_6 ◽

2015 ◽

pp. 211-278

Author(s):

John Longley ◽

Dag Normann

Keyword(s):

Sequential Procedures

Download Full-text

Higher-Order Computability - Theory and Applications of ComputabilityLatest Publications

TOTAL DOCUMENTS

H-INDEX

Published By Springer Berlin Heidelberg

The Total Continuous Functionals

Theory of Computability Models

The Sequentially Realizable Functionals

Kleene Computability in a Total Setting

Related and Future Work

Some Intensional Models

Introduction and Motivations

The Hereditarily Effective Operations

PCF and Its Models

Nested Sequential Procedures

Higher-Order Computability - Theory and Applications of Computability
Latest Publications