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

Luigi Liquori 1, 2
1 Dipartimento di Informatica [Torino]
2 LOGNET - Logical Networks: Self-organizing Overlay Networks and Programmable Overlay Computing Systems
CRISAM - Inria Sophia Antipolis - Méditerranée
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.
Mots-clés : Lambda-calcul thèorie des types paradigme fonctionnel et orienté objets Isomorphisme de Curry-Howard
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

Fichier

1996-liquori-phd-96.pdf

Identifiants

  • HAL Id : tel-01157160, version 1

Collections

INRIA

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〉

Exporter

BibTeX TEI DC DCterms EndNote

Partager

Métriques

Consultations de la notice

231

Téléchargements de fichiers

57

Contact


archive-ouverte@inria.fr