Some Remarks on Type Systems for Course-of-value Recursion
| Autor: | Miranda-Perea, Favio Ezequiel |
|---|---|
| Zdroj: | In Electronic Notes in Theoretical Computer Science 4 August 2009 247:103-121 |
| Databáze: | ScienceDirect |
| Externí odkaz: |
|
| Autor: | Miranda-Perea, Favio Ezequiel |
|---|---|
| Zdroj: | In Electronic Notes in Theoretical Computer Science 4 August 2009 247:103-121 |
| Databáze: | ScienceDirect |
| Externí odkaz: |
|
Full Text from ScienceDirect