Existential type systems between Church and Curry style (type-free style)
| Autor: | Fujita, Ken-etsu a, 1, Schubert, Aleksy b, ⁎, 2 |
|---|---|
| Zdroj: | In Theoretical Computer Science 11 September 2014 549:17-35 |
| Databáze: | ScienceDirect |
| Externí odkaz: |
|
| Autor: | Fujita, Ken-etsu a, 1, Schubert, Aleksy b, ⁎, 2 |
|---|---|
| Zdroj: | In Theoretical Computer Science 11 September 2014 549:17-35 |
| Databáze: | ScienceDirect |
| Externí odkaz: |
|
Full Text from ScienceDirect