Item request has been placed!

Item request cannot be made.

Processing Request

نتائج البحث

Display Settings

النتائج لكل صفحة: 10

Sort By: Relevance

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

Subject : interaction

إعادة تعيين خيارات الفبترة

Item request has been placed!

Item request cannot be made.

Processing Request

Une investigation logique des systèmes d'interaction

Authors : Hyvernat, Pierre;

Subjects: second order; predicate transformers; dependent type theory

Source: Mathematics [math]. Université de la Méditerranée-Aix-Marseille II, 2005. EnglishMathematics [math]. Université de la Méditerranée-Aix-Marseille II, 2005. English. ⟨NNT : ⟩

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

اقرأ على الانترنت اقرأ أكثر حفظ في قائمتي

Dissertation/ Thesis

A Logical Investigation of Interaction Systems ; Une investigation logique des systèmes d'interaction

Authors : Hyvernat, Pierre;

Subjects: proof-theory; linear-logic; denotational semantics

Source: https://theses.hal.science/tel-00011871 ; Mathematics [math]. Université de la Méditerranée - Aix-Marseille II, 2005. English. ⟨NNT : ⟩.

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

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