Strong Normalization for the Simply-Typed Lambda Calculus in Constructive Type Theory Using Agda
| Autor: | Urciuoli, Sebastián, Tasistro, Álvaro, Szasz, Nora |
|---|---|
| Zdroj: | In Electronic Notes in Theoretical Computer Science 15 September 2020 351:187-203 |
| Databáze: | ScienceDirect |
| Externí odkaz: |
|
Full Text from ScienceDirect