Concepedia

Lambda Calculus

Lambda Calculus is a formal system in mathematical logic and computability theory that belongs to the class of computational models, distinguished by its use of variable binding and substitution to represent computation based on function abstraction and application.

1K

Publications

60.3K

Citations

1.1K

Authors

459

Institutions

Publications per year

2017–2026

78

Variants

λ-Calculus

Parents

Publications

1K

A formulation of the simple theory of types

Alonzo Church · Journal of Symbolic Logic · 1940 · 1.9K citations

, , +9

Call-by-name, call-by-value and the λ-calculus

Gordon Plotkin · Theoretical Computer Science · 1975 · 1.2K citations

, , +5

YALE

Ingo Mierswa, Michael Wurst, Ralf Klinkenberg et al. · 2006 · 1K citations

, , +6

Introduction to Mathematical Logic.

Angelo Margaris, Alonzo Church · American Mathematical Monthly · 1957 · 935 citations

, , +15

Lambda calculus notation with nameless dummies, a tool for automatic formula manipulation, with application to the Church-Rosser theorem

N.G. de Bruijn · Indagationes Mathematicae (Proceedings) · 1972 · 925 citations

, , +15

1–5 of 1K

Authors

1.1K

  1. OD
    Olivier Danvy

    Aarhus University, Denmark

    19 publications · 982 citations

    17

    h-index

  2. UD
    Ugo Dal Lago

    University of Bologna, Italy

    21 publications · 737 citations

    16

    h-index

  3. PW
    Philip Wadler

    University of Edinburgh, United Kingdom

    15 publications · 2.3K citations

    14

    h-index

  4. JC
    John C. Mitchell

    Stanford University, United States

    14 publications · 1.2K citations

    13

    h-index

  5. MD
    Mariangiola Dezani-Ciancaglini

    University of Turin, Italy

    16 publications · 1.1K citations

    13

    h-index

1–5 of 1.1K

Institutions

459

  1. Institut national de recherche en sciences et technologies du numérique

    Le Chesnay-Rocquencourt, France

    33 h-index

    89 publications

    4.9K citations

  2. University of Edinburgh

    Edinburgh, United Kingdom

    28 h-index

    56 publications

    6.3K citations

  3. Centre National de la Recherche Scientifique

    Paris, France

    26 h-index

    68 publications

    2.7K citations

  4. Université Paris Cité

    Paris, France

    25 h-index

    65 publications

    2.7K citations

  5. Carnegie Mellon University

    Pittsburgh, United States

    23 h-index

    56 publications

    3.2K citations

  6. University of Pennsylvania

    Philadelphia, United States

    22 h-index

    45 publications

    4.1K citations

  7. University of Cambridge

    Cambridge, United Kingdom

    21 h-index

    38 publications

    2.5K citations

  8. University of Bologna

    Bologna, Italy

    20 h-index

    40 publications

    1.3K citations

1–8 of 459

Venues

  1. Journal of Functional Programming

    55 publications · 4.2K citations

    34

    h-index

  2. Theoretical Computer Science

    66 publications · 4K citations

    28

    h-index

  3. Mathematical Structures in Computer Science

    MSCS · 48 publications · 3K citations

    25

    h-index

  4. Information and Computation

    31 publications · 1.9K citations

    24

    h-index

  5. Electronic Notes in Theoretical Computer Science

    ENTCS · 54 publications · 1.4K citations

    23

    h-index

1–5