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

Domains

Computer Science [cs]
Fichier principal
Vignette du fichier
report.pdf (169.27 Ko) Télécharger le fichier
Origin : Files produced by the author(s)

Jui-Hsuan Wu  : Connect in order to contact the contributor

https://hal.inria.fr/hal-02288720

Submitted on : Sunday, September 15, 2019-9:15:42 PM

Last modification on : Friday, March 24, 2023-2:53:12 PM

Long-term archiving on: Saturday, February 8, 2020-4:01:35 PM

Download

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⟩

Export

BibTeX TEI Dublin Core DC Terms EndNote Datacite

Collections

CNRS INRIA ENS-CACHAN INRIA2 PSL UNIV-PARIS-SACLAY ENS-PARIS-SACLAY GS-COMPUTER-SCIENCE
131 View
109 Download

Share

Gmail Facebook Twitter LinkedIn More