Checking the type safety of rewrite rules in the $λΠ$-calculus modulo rewriting - Archive ouverte HAL Access content directly
Master Thesis Year : 2019

Checking the type safety of rewrite rules in the $λΠ$-calculus modulo rewriting

(1, 2)
1
2
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)

Identifiers

  • HAL Id : hal-02288720 , version 1

Cite

Jui-Hsuan Wu. Checking the type safety of rewrite rules in the $λΠ$-calculus modulo rewriting. Computer Science [cs]. 2019. ⟨hal-02288720⟩
129 View
109 Download

Share

Gmail Facebook Twitter LinkedIn More