مؤتمر
Functional parametricity
العنوان: | Functional parametricity |
---|---|
المؤلفون: | Freyd, P.J., Robinson, E.P., Rosolini, G. |
المصدر: | [1992] Proceedings of the Seventh Annual IEEE Symposium on Logic in Computer Science Logic in Computer Science, 1992. LICS '92., Proceedings of the Seventh Annual IEEE Symposium on. :444-452 1992 |
Relation: | 1992 Proceedings of the Seventh Annual IEEE Symposium on Logic in Computer Science |
قاعدة البيانات: | IEEE Xplore Digital Library |
ردمك: | 0818627352 9780818627354 |
---|---|
DOI: | 10.1109/LICS.1992.185555 |