Dinatural Terms in System F.
| Autor: | de Lataillade, J. |
|---|---|
| Zdroj: | 2009 24th Annual IEEE Symposium on Logic In Computer Science; 2009, p267-276, 10p |
| Databáze: | Complementary Index |
| Externí odkaz: |
|
| Autor: | de Lataillade, J. |
|---|---|
| Zdroj: | 2009 24th Annual IEEE Symposium on Logic In Computer Science; 2009, p267-276, 10p |
| Databáze: | Complementary Index |
| Externí odkaz: |
|