Checking the type safety of rewrite rules in the $\lambda\Pi$-calculus modulo rewriting

Mémoire D'étudiant Année : 2019

(1, 2)

1
2

Jui-Hsuan Wu

École normale supérieure - Paris

Informatique [cs]

Fichier principal

report.pdf (169.27 Ko)

Origine : Fichiers produits par l'(les) auteur(s)

https://inria.hal.science/hal-02288720

Soumis le : dimanche 15 septembre 2019-21:15:42

Dernière modification le : vendredi 19 avril 2024-16:18:57

Archivage à long terme le : samedi 8 février 2020-16:01:35

hal-02288720 , version 1 (15-09-2019)

Paternité

Jui-Hsuan Wu. Checking the type safety of rewrite rules in the $\lambda\Pi$-calculus modulo rewriting. Computer Science [cs]. 2019. ⟨hal-02288720⟩

ENS-PARIS CNRS INRIA ENS-CACHAN INRIA2 PSL UNIV-PARIS-SACLAY ENS-PARIS-SACLAY GS-COMPUTER-SCIENCE

141 Consultations

116 Téléchargements