Home
About
Advanced Search
Browse by Discipline
Scientific Societies
E-print Alerts
Add E-prints
FAQ
•
HELP
•
SITE MAP
•
CONTACT US
Search
Advanced Search
Allali, Lisa - Laboratoire d’Informatique, École Polytechnique
Algorithmic equality in Heyting Arithmetic Lisa Allali
Algorithmic equality in Heyting Arithmetic modulo Lisa Allali
A Semantic Normalization Proof for System T Lisa Allali1
Inductive Types as Equations Lisa Allali1
Algorithmic equality in Heyting Arithmetic Lisa Allali
The Not So Short Introduction to LATEX 2
Quelques fables d'Esope en forme de lecons de LATEX
Foncteurs analytiques 3 septembre 2006
A Semantic Normalization Proof for System T Lisa Allali1
Arithmetic as a theory modulo Gilles Dowek et Benjamin Werner
Presentation Quelques exemples
yti vyqsgev sxs xesyxev hi igrigri ix sxpywesi i ix eywesi
