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

Jui-Hsuan Wu 1, 2
2 DEDUCTEAM - Deduction modulo, interopérabilité et démonstration automatique
LSV - Laboratoire Spécification et Vérification [Cachan], Inria Saclay - Ile de France
Document type :
Master thesis
Complete list of metadatas

Cited literature [8 references]  Display  Hide  Download

https://hal.inria.fr/hal-02288720
Contributor : Jui-Hsuan Wu <>
Submitted on : Sunday, September 15, 2019 - 9:15:42 PM
Last modification on : Thursday, December 5, 2019 - 1:38:36 AM

File

report.pdf
Files produced by the author(s)

Identifiers

  • HAL Id : hal-02288720, version 1

Citation

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

Share

Metrics

Record views

70

Files downloads

233