Type Assigment Systems for Lambda Calculi and for the Lambda Calculus of Objects

Résumé : Cette thèse fait partie de l'étude de la théorie des types pour le λ-calcul. Il est divisé en une partie "fondamentale" et une partie "applicative": i) La partie fondamentales étudie différents systèmes d ínference de type pour le λ-calcul non typé. En particulier, les principales propriétés de ces systèmes ont été prouvées comme e.g. les relations avec les systèmes de type correspondantes pour le λ-calcul typé et avec la logique intuitionniste. ii) La partie applicative étudie une extension possible du λ-calcul à un langage qui peut être considéré comme un «paradigme» pour étudier de nouvelles techniques de programmation tels que la programmation orientée objet. Un système d'inférence de type pour un tel langage a été défini et les propriétés fondamentales du système ont été demontrés.
Type de document :
Thèse
Computation and Language [cs.CL]. Ministère de l'Education Nationale, de la Recherche et de Technologie, Rome, Italy, 1996. English
Liste complète des métadonnées

https://hal.inria.fr/tel-01157160
Contributeur : Luigi Liquori <>
Soumis le : jeudi 28 mai 2015 - 13:32:17
Dernière modification le : samedi 27 janvier 2018 - 01:31:00
Document(s) archivé(s) le : lundi 24 avril 2017 - 16:49:50

Identifiants

  • HAL Id : tel-01157160, version 1

Collections

Citation

Luigi Liquori. Type Assigment Systems for Lambda Calculi and for the Lambda Calculus of Objects. Computation and Language [cs.CL]. Ministère de l'Education Nationale, de la Recherche et de Technologie, Rome, Italy, 1996. English. 〈tel-01157160〉

Partager

Métriques

Consultations de la notice

231

Téléchargements de fichiers

57