Termination of $\lambda$$\Pi$ modulo rewriting using the size-change principle (work in progress)
| Autor: | Blanqui, Frédéric, Genestier, Guillaume |
|---|---|
| Rok vydání: | 2018 |
| Předmět: | |
| Zdroj: | 16th International Workshop on Termination, Jul 2018, Oxford, United Kingdom |
| Druh dokumentu: | Working Paper |
| Popis: | 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. |
| Databáze: | arXiv |
| Externí odkaz: |
|