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 Access content directly
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

Attribution

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⟩
141 View
116 Download

Share

Gmail Facebook X LinkedIn More