Lisa Allali

According to our database¹, Lisa Allali authored at least 3 papers between 2007 and 2014.

Collaborative distances:

Timeline

Book

In proceedings

Article

PhD thesis

Dataset

Other

2014

Semantic A-translation and Super-consistency entail Classical Cut Elimination.

[BibT_eX]

[DOI]

CoRR, 2014

2013

Semantic A-translations and Super-Consistency Entail Classical Cut Elimination.

[BibT_eX]

[DOI]

Proceedings of the Logic for Programming, Artificial Intelligence, and Reasoning, 2013

2007

Algorithmic Equality in Heyting Arithmetic Modulo.

[BibT_eX]

[DOI]

Proceedings of the Types for Proofs and Programs, International Conference, 2007