Termination of λΠ modulo rewriting using the size-change principle (work in progress)

Abstract : The Size-Change Termination principle was first introduced to study the termination of first-order functional programs. In this work, we show that it can also be used to study the termination of higher-order rewriting in a system of dependent types extending LF.
Document type :
Conference papers
Complete list of metadatas

https://hal.inria.fr/hal-01944731
Contributor : Frédéric Blanqui <>
Submitted on : Tuesday, December 4, 2018 - 6:55:42 PM
Last modification on : Thursday, February 7, 2019 - 4:55:59 PM

Files

main.pdf
Files produced by the author(s)

Identifiers

  • HAL Id : hal-01944731, version 1
  • ARXIV : 1812.01853

Citation

Frédéric Blanqui, Guillaume Genestier. Termination of λΠ modulo rewriting using the size-change principle (work in progress). 16th International Workshop on Termination, Jul 2018, Oxford, United Kingdom. pp. 10-14. ⟨hal-01944731⟩

Share

Metrics

Record views

77

Files downloads

138