Théorie des types et réécriture

Thèse Année : 2001

Type theory and rewriting

(1)

Frédéric Blanqui

Laboratoire de Recherche en Informatique

We study the properties, in particular termination, of dependent types systems for lambda-calculus and rewriting.

Nous étudions les propriétés, en particulier la terminaison, des systèmes de types dépendants pour le lambda-calcul et la réécriture.

type theory rewriting termination dependent types polymorphism lambda calculus

theorie des types recriture terminaison types dependants polymorphisme lambda calcul

Autre [cs.OH]

Fichier principal

main.pdf (865.67 Ko)

https://theses.hal.science/tel-00105522

Soumis le : lundi 27 novembre 2006-12:41:21

Dernière modification le : lundi 5 février 2024-14:18:05

Archivage à long terme le : mardi 6 avril 2010-19:21:30

tel-00105522 , version 1 (27-11-2006)

tel-00105522 , version 2 (15-11-2018)

Frédéric Blanqui. Théorie des types et réécriture. Autre [cs.OH]. Université Paris Sud - Paris XI, 2001. Français. ⟨NNT : ⟩. ⟨tel-00105522v1⟩

352 Consultations

407 Téléchargements