المؤلفون: 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

المؤلفون: Freyd, P.J., Girard, J.-Y., Scedrov, A., Scott, P.J.

المصدر: [1988] Proceedings. Third Annual Symposium on Logic in Computer Science Logic in Computer Science, 1988. LICS '88., Proceedings of the Third Annual Symposium on. :274-279 1988

Relation: Proceedings Third Annual Symposium on Logic in Computer Science

المؤلفون: Freyd, P.J., O’Hearn, P.W., Power, A.J., Takeyama, M. ^*, Street, R., Tennent, R.D.

المصدر: In Theoretical Computer Science 1999 228(1):49-76

لا يتم عرض هذه النتيجة على الضيوف.
تسجيل الدخول للوصول الكامل.

لا يتم عرض هذه النتيجة على الضيوف.
تسجيل الدخول للوصول الكامل.

لا يتم عرض هذه النتيجة على الضيوف.
تسجيل الدخول للوصول الكامل.

لا يتم عرض هذه النتيجة على الضيوف.
تسجيل الدخول للوصول الكامل.

لا يتم عرض هذه النتيجة على الضيوف.
تسجيل الدخول للوصول الكامل.

لا يتم عرض هذه النتيجة على الضيوف.
تسجيل الدخول للوصول الكامل.

لا يتم عرض هذه النتيجة على الضيوف.
تسجيل الدخول للوصول الكامل.