Home » Authors » David Baelde, Amina Doumane, Denis Kuperberg, Alexis Saurin

David Baelde, Amina Doumane, Denis Kuperberg, Alexis Saurin

Public reference bibliography and cataloged PDF materials authored or published by David Baelde, Amina Doumane, Denis Kuperberg, Alexis Saurin.

Found 1 document(s) Page 1 of 1

Bouncing threads for circular and non-wellfounded proofs -- Towards compositionality with circular proofs (Extended version)

Year: 2022 • Source: hal.science • Listed PDF

Given that (co)inductive types are naturally modelled as fixed points, it is unsurprising that fixed-point logics are of interest in the study of programming languages, via the Curry-Howard (or proofs-as-programs) corres...