Concepedia

Lambda Abstraction

Lambda abstraction is a formal syntactic operation in logic and semantics that, within truth-conditional compositional frameworks, introduces a bound variable to construct a predicate or function from a formula, thereby enabling the representation of meaning components with variable-bearing expressions that can be applied or evaluated in context.

48

Publications

2.3K

Citations

83

Authors

55

Institutions

Publications per year

2017–2026

4

Parents

Publications

48

A Logic Programming Language with Lambda-Abstraction, Function Variables, and Simple Unification

Dale Miller · Journal of Logic and Computation · 1991 · 372 citations

, , +13

Full Abstraction in the Lazy Lambda Calculus

Samson Abramsky, C.-H. Luke Ong · Information and Computation · 1993 · 238 citations

, , +8

Full functional verification of linked data structures

Karen Zee, Viktor Kunčak, Martin Rinard · 2008 · 202 citations · Full text

, , +15

The call-by-need lambda calculus

Zena M. Ariola, Matthias Felleisen · Journal of Functional Programming · 1997 · 173 citations · Full text

, , +13

de Bruijn notation as a nested datatype

Richard Bird, Ross Paterson · Journal of Functional Programming · 1999 · 146 citations · Full text

, , +9

1–5 of 48

Authors

83

  1. AS
    Antonino Salibra

    Ca' Foscari University of Venice, Italy

    4 publications · 77 citations

    4

    h-index

  2. PC
    Paris C. Kanellakis

    Brown University, United States

    4 publications · 84 citations

    4

    h-index

  3. DP
    Don Pigozzi

    Iowa State University, United States

    3 publications · 64 citations

    3

    h-index

  4. MJ
    Murdoch J. Gabbay

    Heriot-Watt University, United Kingdom

    3 publications · 34 citations

    3

    h-index

  5. DP
    Dominic P. Mulligan

    University of Cambridge, United Kingdom

    3 publications · 34 citations

    3

    h-index

1–5 of 83

Institutions

55

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

    Le Chesnay-Rocquencourt, France

    3 h-index

    3 publications

    59 citations

  2. Iowa State University

    Ames, United States

    3 h-index

    3 publications

    64 citations

  3. École Polytechnique Fédérale de Lausanne

    Lausanne, Switzerland

    2 h-index

    2 publications

    238 citations

  4. University of Wrocław

    Wroclaw, Poland

    2 h-index

    6 publications

    144 citations

  5. University of Oxford

    Oxford, United Kingdom

    2 h-index

    3 publications

    394 citations

  6. Aarhus University

    Aarhus, Denmark

    2 h-index

    2 publications

    41 citations

  7. Ca' Foscari University of Venice

    Venice, Italy

    2 h-index

    2 publications

    36 citations

  8. Brown University

    Providence, United States

    2 h-index

    2 publications

    53 citations

1–8 of 55

Venues

  1. Journal of Functional Programming

    6 publications · 500 citations

    6

    h-index

  2. Electronic Notes in Theoretical Computer Science

    ENTCS · 3 publications · 39 citations

    3

    h-index

  3. Fundamenta Informaticae

    3 publications · 50 citations

    3

    h-index

  4. Mathematical Structures in Computer Science

    MSCS · 2 publications · 23 citations

    2

    h-index

  5. Information and Computation

    2 publications · 306 citations

    2

    h-index

1–5