Concepedia

Higher-order Computability

Higher-Order Computability is a theoretical framework within computability theory that extends the scope of computation to include functions and functionals operating on higher-type objects, such as functions of functions, thereby enabling the study of computability over abstract data types beyond natural numbers.

52

Publications

1.6K

Citations

80

Authors

57

Institutions

Publications per year

2017–2026

11

Parents

Publications

52

Probabilistic coherence spaces as a model of higher-order probabilistic computation

Vincent Danos, Thomas Ehrhard · Information and Computation · 2011 · 111 citations

, , +12

Computable Algebra, General Theory and Theory of Computable Fields

Michael O. Rabin · Transactions of the American Mathematical Society · 1960 · 105 citations

, , +16

Generalized computable numerations and nontrivial rogers semilattices

Andrea Sorbi · Algebra and Logic · 1997 · 98 citations

, , +14

Trust in the λ-calculus

Peter Ørbæk, Jens Palsberg · Journal of Functional Programming · 1997 · 98 citations · Full text

, , +11

Trust in the-calculus

Jens Palsberg, Peter Ørbæk · 1995 · 86 citations

, , +11

1–5 of 52

Authors

80

  1. UD
    Ugo Dal Lago

    University of Bologna, Italy

    4 publications · 72 citations

    4

    h-index

  2. SS
    Sam Sanders

    Technische Universität Darmstadt, Germany

    3 publications · 54 citations

    3

    h-index

  3. MP
    Michele Pagani

    Istituti di Ricovero e Cura a Carattere Scientifico, Italy

    3 publications · 139 citations

    3

    h-index

  4. FP
    Frank Pfenning

    Carnegie Mellon University, United States

    2 publications · 39 citations

    2

    h-index

  5. DM
    Damiano Mazza

    Centre National de la Recherche Scientifique, France

    2 publications · 63 citations

    2

    h-index

1–5 of 80

Institutions

57

  1. Université Paris Cité

    Paris, France

    5 h-index

    8 publications

    467 citations

  2. University of Bologna

    Bologna, Italy

    5 h-index

    8 publications

    117 citations

  3. Centre National de la Recherche Scientifique

    Paris, France

    4 h-index

    9 publications

    543 citations

  4. Technische Universität Darmstadt

    Darmstadt, Germany

    3 h-index

    3 publications

    46 citations

  5. Carnegie Mellon University

    Pittsburgh, United States

    3 h-index

    5 publications

    134 citations

  6. University of Oslo

    Oslo, Norway

    3 h-index

    3 publications

    47 citations

  7. University at Albany, State University of New York

    Albany, United States

    2 h-index

    2 publications

    39 citations

  8. Université Sorbonne Paris Nord

    Villetaneuse, France

    2 h-index

    2 publications

    91 citations

1–8 of 57

Venues

  1. Information and Computation

    4 publications · 194 citations

    4

    h-index

  2. Journal of Logic and Computation

    3 publications · 57 citations

    3

    h-index

  3. Mathematical Structures in Computer Science

    MSCS · 3 publications · 101 citations

    3

    h-index

  4. Journal of Automated Reasoning

    3 publications · 101 citations

    3

    h-index

  5. Archive for Mathematical Logic

    2 publications · 25 citations

    2

    h-index

1–5