Skip to Main content Skip to Navigation
Conference papers

Dependency Pairs Termination in Dependent Type Theory Modulo Rewriting

Document type :
Conference papers
Complete list of metadatas

Cited literature [7 references]  Display  Hide  Download

https://hal.archives-ouvertes.fr/hal-02442484
Contributor : Guillaume Genestier <>
Submitted on : Thursday, January 16, 2020 - 2:47:47 PM
Last modification on : Thursday, September 24, 2020 - 4:36:04 PM
Long-term archiving on: : Friday, April 17, 2020 - 6:17:21 PM

File

types19.pdf
Files produced by the author(s)

Identifiers

  • HAL Id : hal-02442484, version 1

Citation

Frédéric Blanqui, Guillaume Genestier, Olivier Hermant. Dependency Pairs Termination in Dependent Type Theory Modulo Rewriting. TYPES 2019 - 25th International Conference on Types for Proofs and Programs, Jun 2019, Oslo, Norway. pp.30-31. ⟨hal-02442484⟩

Share

Metrics

Record views

70

Files downloads

16