Opérateurs de typage non-idempotents, au delà du lambda-calcul

Opérateurs de typage non-idempotents, au delà du lambda-calcul

L'objet de cette thèse est l'extension des méthodes de la théorie des types intersections non-idempotents, introduite par Gardner et de Carvalho, à des cadres dépassant le lambda-calcul stricto sensu.- Nous proposons d'abord une caractérisation de la normalisation de tête et de la nor...

Full description

Bibliographic Details
Main Author: Vial, Pierre
Other Authors: Sorbonne Paris Cité
Language:en
Published: 2017
Subjects:
Types intersections
Types union
Non-idempotence
Intersection séquentielle
Typage infinitaire
Réduction productive
Réduction non-productive
Intersection types
Union types
Non-idempotency
Sequential intersection
Infinitary typing
Productive reduction
Non-productive reduction
Online Access:http://www.theses.fr/2017USPCC038/document

Internet

http://www.theses.fr/2017USPCC038/document

Similar Items