Accueil
Consultation
Par auteur
Par publications
Par années
Par domaines
Par type de document
Derniers dépôts
Recherche
Rechercher
Recherche avancée
Recherche par identifiant
Services
Aide
Exporter
HalTools
28559 articles – 22057 Notices
[english version]
.:.
Consultation
>
Par auteur
> Allali .:.
2 documents classés par :
Date
Titre
Nom du premier auteur
Type de documents
Date de dépôt
A semantic normalization proof for a system with recursors
Allali L., Brauner P.
[inria-00211877 - version 1]
A Semantic Normalization Proof for Inductive Types
Allali L., Brauner P.
(2008) [inria-00280410 - version 2]
