Graph easy sets of mute lambda terms
| Autor: | Bucciarelli, A., Carraro, A., Favro, G., Salibra, A. |
|---|---|
| Zdroj: | In Theoretical Computer Science 23 May 2016 629:51-63 |
| Databáze: | ScienceDirect |
| Externí odkaz: |
|
| Autor: | Bucciarelli, A., Carraro, A., Favro, G., Salibra, A. |
|---|---|
| Zdroj: | In Theoretical Computer Science 23 May 2016 629:51-63 |
| Databáze: | ScienceDirect |
| Externí odkaz: |
|
Full Text from ScienceDirect