Skip to Main content Skip to Navigation
Master thesis

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 : Tuesday, September 22, 2020 - 3:48:23 AM
Long-term archiving on: : Saturday, February 8, 2020 - 4:01:35 PM

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

107

Files downloads

336