Typability in partial groupoids
Rodenburg, P. H. · Bethke, I.
الأصل · EN
Adapting a claim of M. Kracht, we establish a characterization of the typable partial applicative algebras.
الترجمة العربية
لا توجد ترجمة عربية لهذا البحث بعد. كن أوّل من يطلبها: تستغرق ثوانيَ معدودة، وتُحفظ النتيجة لكل قارئ قادم.