Checking the type safety of rewrite rules in the $\lambda\Pi$-calculus modulo rewriting
Domains
Computer Science [cs]| Origin | Files produced by the author(s) |
|---|
Loading...
Master Thesis
Year : 2019
Jui-Hsuan Wu : Connect in order to contact the contributor
https://inria.hal.science/hal-02288720
Submitted on : Sunday, September 15, 2019-9:15:42 PM
Last modification on : Friday, April 19, 2024-4:18:57 PM
Long-term archiving on : Saturday, February 8, 2020-4:01:35 PM
Dates and versions
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⟩
Collections
157
View
133
Download