Checking the type safety of rewrite rules in the $\lambda\Pi$-calculus modulo rewriting - Inria - Institut national de recherche en sciences et technologies du numérique
Mémoires D'étudiants -- Hal-Inria+ Année : 2019

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

Domaines

Informatique [cs]
Fichier principal
Vignette du fichier
report.pdf (169.27 Ko) Télécharger le fichier
Origine Fichiers produits par l'(les) auteur(s)

Jui-Hsuan Wu  : Connectez-vous pour contacter le contributeur

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

Télécharger pour visualiser

Dates et versions

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

Licence

Paternité

Identifiants

  • HAL Id : hal-02288720 , version 1

Citer

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

Exporter

BibTeX XML-TEI Dublin Core DC Terms EndNote DataCite

Collections

ENS-PARIS CNRS INRIA ENS-CACHAN INRIA2 PSL UNIV-PARIS-SACLAY ENS-PARIS-SACLAY GS-COMPUTER-SCIENCE
160 Consultations
135 Téléchargements

Partager

More