Type theory and rewriting

Théorie des types et réécriture

Frédéric Blanqui (1)

1 LRI - 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.

Mots clés: type theory; rewriting; termination; dependent types; polymorphism; lambda calculus

Mots clés: types dependants; polymorphisme; lambda calcul; theorie des types; recriture; terminaison

Domaines: Autre [cs.OH]

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