Théorie des types et réécriture - TEL - Thèses en ligne Access content directly
Theses Year : 2001

Type theory and rewriting

Théorie des types et réécriture

Abstract

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.
Fichier principal
Vignette du fichier
main.pdf (880.13 Ko) Télécharger le fichier
Origin Files produced by the author(s)
Loading...

Dates and versions

tel-00105522 , version 1 (27-11-2006)
tel-00105522 , version 2 (15-11-2018)

Identifiers

  • HAL Id : tel-00105522 , version 2

Cite

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⟩
324 View
380 Download

Share

Gmail Mastodon Facebook X LinkedIn More