33841 articles – 26694 Notices  [english version]
.:. Consultation > Par auteur > Allali .:.
3 documents classés par :

fulltext access Semantic A-translation and Super-consistency entail Classical Cut Elimination
Allali L., Hermant O.
Dans LPAR 19 - 19th Conference on Logic for Programming, Artificial Intelligence, and Reasoning - 2013 8312 (2013) 407-422 [hal-00923915 - version 1]
fulltext access A semantic normalization proof for a system with recursors
Allali L., Brauner P.
[inria-00211877 - version 1]
fulltext access A Semantic Normalization Proof for Inductive Types
Allali L., Brauner P.
(2008) [inria-00280410 - version 2]