Login / Signup
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
CoRR
LPAR
</>
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)