Functional parametricity.
| Autor: | Freyd, P.J., Robinson, E.P., Rosolini, G. |
|---|---|
| Zdroj: | 1992 Proceedings of the Seventh Annual IEEE Symposium on Logic in Computer Science; 1992, p444-452, 9p |
| Databáze: | Complementary Index |
| Externí odkaz: |
|
| Autor: | Freyd, P.J., Robinson, E.P., Rosolini, G. |
|---|---|
| Zdroj: | 1992 Proceedings of the Seventh Annual IEEE Symposium on Logic in Computer Science; 1992, p444-452, 9p |
| Databáze: | Complementary Index |
| Externí odkaz: |
|