Concepedia

Quantum Lambda Calculus

Quantum Lambda Calculus is a formal system in theoretical computer science that extends the classical lambda calculus by incorporating quantum data types and operations, thereby providing a foundational model for expressing and reasoning about quantum computation and quantum programming languages.

23

Publications

902

Citations

26

Authors

40

Institutions

Publications per year

2017–2026

8

Parents

Publications

23

A Lambda Calculus for Quantum Computation

André van Tonder · SIAM Journal on Computing · 2004 · 204 citations · Full text

, , +15

A lambda calculus for quantum computation with classical control

Peter Selinger, Benoît Valiron · Mathematical Structures in Computer Science · 2006 · 182 citations

, , +15

Applying quantitative semantics to higher-order quantum computing

Michele Pagani, Peter Selinger, Benoît Valiron · 2014 · 69 citations

, , +14

On a Fully Abstract Model for a Quantum Linear Functional Language

Peter Selinger, Benoît Valiron · Electronic Notes in Theoretical Computer Science · 2008 · 43 citations · Full text

, , +14

Lineal: A linear-algebraic Lambda-calculus

Pablo Arrighi, Gilles Dowek · Logical Methods in Computer Science · 2017 · 38 citations · Full text

, , +14

1–5 of 23

Authors

26

  1. AD
    Alejandro Díaz-Caro

    National University of Quilmes, Argentina

    5 publications · 100 citations

    5

    h-index

  2. BV
    Benoît Valiron

    CentraleSupélec, France

    5 publications · 339 citations

    5

    h-index

  3. MZ
    Margherita Zorzi

    University of Verona, Italy

    4 publications · 85 citations

    4

    h-index

  4. UD
    Ugo Dal Lago

    University of Bologna, Italy

    3 publications · 51 citations

    3

    h-index

  5. PS
    Peter Selinger

    Dalhousie University, Canada

    3 publications · 294 citations

    3

    h-index

1–5 of 26

Institutions

40

  1. Consejo Nacional de Investigaciones Científicas y Técnicas

    Buenos Aires, Argentina

    4 h-index

    5 publications

    89 citations

  2. University of Verona

    Verona, Italy

    4 h-index

    6 publications

    121 citations

  3. Centre National de la Recherche Scientifique

    Paris, France

    3 h-index

    6 publications

    148 citations

  4. University of Bologna

    Bologna, Italy

    3 h-index

    3 publications

    51 citations

  5. Université Paris-Saclay

    Gif-sur-Yvette, France

    3 h-index

    3 publications

    57 citations

  6. Dalhousie University

    Halifax, Canada

    3 h-index

    3 publications

    294 citations

  7. National University of Quilmes

    Bernal, Argentina

    3 h-index

    3 publications

    63 citations

  8. National University of Rosario

    Rosario, Argentina

    3 h-index

    3 publications

    55 citations

1–8 of 40

Venues

  1. Electronic Notes in Theoretical Computer Science

    ENTCS · 4 publications · 91 citations

    4

    h-index

  2. Mathematical Structures in Computer Science

    MSCS · 3 publications · 236 citations

    3

    h-index

  3. arXiv (Cornell University)

    Repository · 3 publications · 66 citations

    3

    h-index

  4. Proceedings of the ACM on Programming Languages

    PACMPL · 2 publications · 50 citations

    2

    h-index

  5. Logical Methods in Computer Science

    LMCS · 2 publications · 62 citations

    2

    h-index

1–5