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