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

Search Results

Display Settings
Results per page: 10
Sort By: Relevance
Filter

Your Filters

Collection : Aix-Marseille Universite Language : abkhazian Language : chinese Language : french Language : gujarati Language : portuguese Language : slavic languages Subject : [info.info-lo]computer science [cs]/logic in computer science [cs.lo]
Reset filters
Item request has been placed! ×
Item request cannot be made. ×
loading  Processing Request
Dissertation/ Thesis

Differential λ-calculus and classical logic : their computational interactions ; λ-calcul différentiel et logique classique : interactions calculatoires

Subjects: logique linéaire; logique linéaire différentielle; logique classique

  • Source: https://theses.hal.science/tel-00194149 ; Logique [math.LO]. Université de la Méditerranée - Aix-Marseille II, 2007. Français. ⟨NNT : ⟩.

Record details

Read More Add to Saved list
×