This page shows all presentations of this author published in EasyChair Smart Slide.
Cyclic Implicit Complexity
Gianluca Curzi and Anupam Das
Completeness of Left Handed Kleene algebra via Cyclic Proofs
Anupam Das, Amina Doumane and Damien Pous