Lisa Allali

Publication Activity (10 Years)

Years Active: 2007-2014
Publications (10 Years): 0

Top Topics

Semantic Network

Cut Elimination

Sequent Calculus

Machine Translation

Top Venues

Publications

Lisa Allali, Olivier Hermant
Semantic A-translation and Super-consistency entail Classical Cut Elimination. CoRR (2014)
Lisa Allali, Olivier Hermant
Semantic A-translations and Super-Consistency Entail Classical Cut Elimination. LPAR (2013)
Lisa Allali
Algorithmic Equality in Heyting Arithmetic Modulo. TYPES (2007)