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
Master Thesis Year : 2019

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

Fichier principal
Vignette du fichier
report.pdf (169.27 Ko) Télécharger le fichier
Origin Files produced by the author(s)
Loading...

Dates and versions

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

Licence

Identifiers

  • HAL Id : hal-02288720 , version 1

Cite

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

Share

More