Ziel
Research objectives and content:
Girard's Light and Elementary Linear Logic (LLL and ELL) are logics in which a fixed complexity bound is intrinsic to the logic. Namely, a function is representable in LLL iff it is polytime w.r.t. its input, while a function is representable in ELL iff it is elementary. Such bounds are intrinsic to the logic as cut-elimination for LLL and ELL proof-net is have the corresponding bounds: in LLL the reduction of a proof-net is polynomial in its size, while in LLL it is elementary. Hence, the proof associated to a function representable in LLL is not only a proof of its polynomiality, but also a program computing it in a polynomial time.
2-sequents give a natural framework in which to express the structural constraints of ELL and LLL. The hope is that they might help in removing some of the technical problems that lead to the actual involved syntax of LLL. Furthemore, the approach based on levels that 2-sequents imply might help in the comprehension of the semantics of LLL and ELL.
Sharing-graphs are a new and promising technique for the efficient implementation of functional languages originated from Levy's family reduction. The constraints that lead to the complexity bound of LLL and ELL seem to have a natural counterpart in terms of Levy's families. Training content (objective, benefit and expected impact):
1. To find a general framework in which the structural constraints that led Girard to the formulation of ELL and LLL still ensure the same complexity bounds.
2. To reformulate ELL and LLL in terms of Masini's 2-sequents. The objective is to find a good syntax leading to a practical) usable functional programming language.
3. To study sharing-graph reduction of the nets originated from the previos calculi.
Links with industry / industrial relevance (22)
Wissenschaftliches Gebiet (EuroSciVoc)
CORDIS klassifiziert Projekte mit EuroSciVoc, einer mehrsprachigen Taxonomie der Wissenschaftsbereiche, durch einen halbautomatischen Prozess, der auf Verfahren der Verarbeitung natürlicher Sprache beruht. Siehe: Das European Science Vocabulary.
CORDIS klassifiziert Projekte mit EuroSciVoc, einer mehrsprachigen Taxonomie der Wissenschaftsbereiche, durch einen halbautomatischen Prozess, der auf Verfahren der Verarbeitung natürlicher Sprache beruht. Siehe: Das European Science Vocabulary.
Sie müssen sich anmelden oder registrieren, um diese Funktion zu nutzen
Programm/Programme
Mehrjährige Finanzierungsprogramme, in denen die Prioritäten der EU für Forschung und Innovation festgelegt sind.
Mehrjährige Finanzierungsprogramme, in denen die Prioritäten der EU für Forschung und Innovation festgelegt sind.
Thema/Themen
Aufforderungen zur Einreichung von Vorschlägen sind nach Themen gegliedert. Ein Thema definiert einen bestimmten Bereich oder ein Gebiet, zu dem Vorschläge eingereicht werden können. Die Beschreibung eines Themas umfasst seinen spezifischen Umfang und die erwarteten Auswirkungen des finanzierten Projekts.
Aufforderungen zur Einreichung von Vorschlägen sind nach Themen gegliedert. Ein Thema definiert einen bestimmten Bereich oder ein Gebiet, zu dem Vorschläge eingereicht werden können. Die Beschreibung eines Themas umfasst seinen spezifischen Umfang und die erwarteten Auswirkungen des finanzierten Projekts.
Aufforderung zur Vorschlagseinreichung
Verfahren zur Aufforderung zur Einreichung von Projektvorschlägen mit dem Ziel, eine EU-Finanzierung zu erhalten.
Daten nicht verfügbar
Verfahren zur Aufforderung zur Einreichung von Projektvorschlägen mit dem Ziel, eine EU-Finanzierung zu erhalten.
Finanzierungsplan
Finanzierungsregelung (oder „Art der Maßnahme“) innerhalb eines Programms mit gemeinsamen Merkmalen. Sieht folgendes vor: den Umfang der finanzierten Maßnahmen, den Erstattungssatz, spezifische Bewertungskriterien für die Finanzierung und die Verwendung vereinfachter Kostenformen wie Pauschalbeträge.
Finanzierungsregelung (oder „Art der Maßnahme“) innerhalb eines Programms mit gemeinsamen Merkmalen. Sieht folgendes vor: den Umfang der finanzierten Maßnahmen, den Erstattungssatz, spezifische Bewertungskriterien für die Finanzierung und die Verwendung vereinfachter Kostenformen wie Pauschalbeträge.
Koordinator
13288 MARSEILLE
Frankreich
Die Gesamtkosten, die dieser Organisation durch die Beteiligung am Projekt entstanden sind, einschließlich der direkten und indirekten Kosten. Dieser Betrag ist Teil des Gesamtbudgets des Projekts.