Systèmes de types purs et substitutions explicites - TEL - Thèses en ligne Accéder directement au contenu
Thèse Année : 2007

Pure type systems and explicit substitutions

Systèmes de types purs et substitutions explicites

Résumé

Pure type systems are a generic formalism for usual lambda-calculus, which combine great simplicity and elegance to a high expressivity power. This thesis sudies various extensions of this notion, mostly to calculi with explicit substitutions, and to classical sequent calculi, with a particular focus on the preservation of the good properties of these systems.
Les systèmes de types purs sont un formalisme générique au pouvoir d'expressivité élevé, dont l'élégance et la sobriété sont grandes, pour le lambda-calcul usuel. Cette thèse étudie différentes extensions de cette notion de systèmes de types purs, principalement à des calculs à substitutions explicites, et à des calculs de séquents classiques, en s'intéressant particulièrement à la préservation des bonnes propriétés de ces systèmes.
Fichier principal
Vignette du fichier
thesis_RCK.pdf (1.09 Mo) Télécharger le fichier

Dates et versions

tel-01232508 , version 1 (23-11-2015)

Licence

Copyright (Tous droits réservés)

Identifiants

  • HAL Id : tel-01232508 , version 1

Citer

Romain Cyril Kervarc. Systèmes de types purs et substitutions explicites. Logique en informatique [cs.LO]. École normale supérieure de Lyon, 2007. Français. ⟨NNT : ⟩. ⟨tel-01232508⟩
86 Consultations
76 Téléchargements

Partager

Gmail Facebook X LinkedIn More