Amina Doumane. On the infinitary proof theory of logics with fixed points. (Théorie de la démonstration infinitaire pour les logiques à points fixes). PhD thesis, Paris Diderot University, France, 2017. [doi]
@phdthesis{hal-9934,
title = {On the infinitary proof theory of logics with fixed points. (Théorie de la démonstration infinitaire pour les logiques à points fixes)},
author = {Amina Doumane},
year = {2017},
url = {https://tel.archives-ouvertes.fr/tel-01676953},
researchr = {https://researchr.org/publication/hal-9934},
cites = {0},
citedby = {0},
school = {Paris Diderot University, France},
}