Concepedia

Coinduction

Coinduction is a proof principle in theoretical computer science and mathematical logic that generalizes reasoning about infinite data structures and behaviors by characterizing them as fixed points of certain monotonic functions, distinguished from induction by its focus on greatest fixed points and observational equivalence rather than least fixed points and finite construction.

80

Publications

3.3K

Citations

120

Authors

85

Institutions

Publications per year

2017–2026

7

Parents

Publications

80

Introduction to Bisimulation and Coinduction

Davide Sangiorgi · Cambridge University Press eBooks · 2011 · 308 citations

, , +14

Structural Induction and Coinduction in a Fibrational Setting

Claudio Hermida, Bart Jacobs · Information and Computation · 1998 · 194 citations

, , +4

On the origins of bisimulation and coinduction

Davide Sangiorgi · ACM Transactions on Programming Languages and Systems · 2009 · 185 citations · Full text

, , +11

Coinductive big-step operational semantics

Xavier Leroy, Hervé Grall · Information and Computation · 2008 · 179 citations

, , +7

Copatterns

Andreas Abel, Brigitte Pientka, David Thibodeau et al. · 2013 · 104 citations

, , +10

1–5 of 80

Authors

120

  1. AA
    Andreas Abel

    Ludwig-Maximilians-Universität München, Germany

    6 publications · 278 citations

    6

    h-index

  2. BP
    Brigitte Pientka

    McGill University, Canada

    5 publications · 260 citations

    5

    h-index

  3. DP
    Damien Pous

    École Normale Supérieure de Lyon, France

    5 publications · 165 citations

    5

    h-index

  4. DS
    Davide Sangiorgi

    Institut national de recherche en sciences et technologies du numérique, France

    4 publications · 517 citations

    4

    h-index

  5. BJ
    Bart Jacobs

    Radboud University Nijmegen, Netherlands

    3 publications · 239 citations

    3

    h-index

1–5 of 120

Institutions

85

  1. McGill University

    Montreal, Canada

    6 h-index

    8 publications

    577 citations

  2. Université Claude Bernard Lyon 1

    Villeurbanne, France

    6 h-index

    12 publications

    386 citations

  3. Centre National de la Recherche Scientifique

    Paris, France

    6 h-index

    11 publications

    291 citations

  4. University of Oxford

    Oxford, United Kingdom

    5 h-index

    6 publications

    94 citations

  5. Radboud University Nijmegen

    Nijmegen, The Netherlands

    5 h-index

    6 publications

    202 citations

  6. University of Edinburgh

    Edinburgh, United Kingdom

    5 h-index

    5 publications

    263 citations

  7. Ludwig-Maximilians-Universität München

    Munich, Germany

    5 h-index

    5 publications

    230 citations

  8. École Normale Supérieure de Lyon

    Lyon, France

    5 h-index

    10 publications

    293 citations

1–8 of 85

Venues

  1. Electronic Notes in Theoretical Computer Science

    ENTCS · 10 publications · 273 citations

    10

    h-index

  2. Mathematical Structures in Computer Science

    MSCS · 6 publications · 316 citations

    6

    h-index

  3. Information and Computation

    5 publications · 470 citations

    5

    h-index

  4. ACM SIGPLAN Notices

    5 publications · 94 citations

    5

    h-index

  5. Logical Methods in Computer Science

    LMCS · 4 publications · 123 citations

    4

    h-index

1–5