Item request has been placed! ×
Item request cannot be made. ×
loading  Processing Request

نتائج البحث

Display Settings
النتائج لكل صفحة: 10
Sort By: Relevance
Filter
  • 1-5 of  5 نتائج ل ""Universal""

فلترة النتائج

Collection : Universite Grenoble Alpes Subject : [math.math-lo]mathematics [math]/logic [math.lo]
إعادة تعيين خيارات الفبترة
Item request has been placed! ×
Item request cannot be made. ×
loading  Processing Request
Conference

Contraction-free proofs and finitary games for Linear Logic

Subjects: Linear logic; Game semantics; Contraction eliminationOxford; United Kingdom

  • Source: ISSN: 1571-0661 ; Electronic Notes in Theoretical Computer Science ; Proceedings of the 25th Conference on Mathematical Foundations of Programming Semantics (MFPS 2009) ; MFPS 2009 ;

تفاصيل العنوان

اقرأ أكثر حفظ في قائمتي
×
Conference

A complete realisability semantics for intersection types and arbitrary expansion variables

Subjects: [MATH.MATH-LO]Mathematics [math]/Logic [math.LO]Istanbul; Turkey

  • Source: Lecture Notes in Computer Science, Springer-Verlag ; 5th International Colloquium on Theoretical Aspects of Computing, ICTAC 2008, 1-3 September 2008 ; https://hal.science/hal-00382691 ; 5th

تفاصيل العنوان

اقرأ أكثر حفظ في قائمتي
×
Academic Journal

Challenges and solutions to realisability semantics for intersection types with expansion variables

Subjects: [MATH.MATH-LO]Mathematics [math]/Logic [math.LO]

  • Source: ISSN: 0169-2968.

تفاصيل العنوان

اقرأ أكثر حفظ في قائمتي
×
Academic Journal

A completeness result for a realisability semantics for an intersection type system

Subjects: [MATH.MATH-LO]Mathematics [math]/Logic [math.LO]

  • Source: ISSN: 0168-0072 ; Annals of Pure and Applied Logic ; https://hal.science/hal-00380177 ; Annals of Pure and Applied Logic, 2007, 146, pp.180-198.

تفاصيل العنوان

اقرأ أكثر حفظ في قائمتي
×
Academic Journal

Storage operators and forall-positive types of system TTR

Subjects: [MATH.MATH-LO]Mathematics [math]/Logic [math.LO]

  • Source: ISSN: 0942-5616.

تفاصيل العنوان

اقرأ أكثر حفظ في قائمتي
×
  • 1-5 of  5 نتائج ل ""Universal""