Algorithmic Equality in Heyting Arithmetic Modulo. - Lisa Allali (TYPES, 2007)

Semantic A-translations and Super-Consistency Entail Classical Cut Elimination. - Lisa Allali; Olivier Hermant (LPAR, 2013)

Semantic A-translation and Super-consistency entail Classical Cut Elimination. - Lisa Allali; Olivier Hermant (CoRR, 2014)