Concepedia

Affine Logic

Affine Logic is a substructural logic in which the structural rule of contraction is disallowed, thereby restricting the use of formulas to at most one occurrence in a derivation.

35

Publications

1.2K

Citations

54

Authors

41

Institutions

Publications per year

2017–2026

2

Parents

Publications

35

A lambda calculus for quantum computation with classical control

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

, , +15

Intuitionistic Light Affine Logic

Andrea Asperti, Luca Roversi · ACM Transactions on Computational Logic · 2002 · 103 citations

, , +14

The finite model property for various fragments of intuitionistic linear logic

Mitsuhiro Okada, Kazushige Terui · Journal of Symbolic Logic · 1999 · 88 citations

, , +8

Affine systems of equations and counting infinitary logic

Albert Atserias, Andreǐ A. Bulatov, Anuj Dawar · Theoretical Computer Science · 2009 · 79 citations

, , +10

Light affine logic

Andrea Asperti · 2002 · 75 citations

, , +12

1–5 of 35

Authors

54

  1. PB
    Patrick Baillot

    Centre National de la Recherche Scientifique, France

    3 publications · 49 citations

    3

    h-index

  2. KT
    Kazushige Terui

    Kyoto University, Japan

    3 publications · 145 citations

    3

    h-index

  3. UD
    Ugo Dal Lago

    University of Bologna, Italy

    3 publications · 60 citations

    3

    h-index

  4. AA
    Andrea Asperti

    University of Bologna, Italy

    2 publications · 178 citations

    2

    h-index

  5. PC
    Paolo Coppola

    University of Udine, Italy

    2 publications · 28 citations

    2

    h-index

1–5 of 54

Institutions

41

  1. Centre National de la Recherche Scientifique

    Paris, France

    7 h-index

    8 publications

    162 citations

  2. University of Bologna

    Bologna, Italy

    5 h-index

    5 publications

    228 citations

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

    Le Chesnay-Rocquencourt, France

    4 h-index

    6 publications

    129 citations

  4. Laboratoire d'Informatique de Paris-Nord

    Villetaneuse, France

    3 h-index

    4 publications

    58 citations

  5. Keio University

    Tokyo, Japan

    3 h-index

    4 publications

    242 citations

  6. Université Sorbonne Paris Nord

    Villetaneuse, France

    3 h-index

    4 publications

    69 citations

  7. Lomonosov Moscow State University

    Moscow, Russia

    2 h-index

    2 publications

    42 citations

  8. École Normale Supérieure Paris-Saclay

    Gif-sur-Yvette, France

    2 h-index

    2 publications

    35 citations

1–8 of 41

Venues

  1. Theoretical Computer Science

    4 publications · 138 citations

    4

    h-index

  2. Mathematical Structures in Computer Science

    MSCS · 3 publications · 217 citations

    3

    h-index

  3. ACM Transactions on Computational Logic

    TOCL · 3 publications · 140 citations

    3

    h-index

  4. Logical Methods in Computer Science

    LMCS · 2 publications · 30 citations

    2

    h-index

  5. Journal of Symbolic Logic

    2 publications · 144 citations

    2

    h-index

1–5