Type theory and rewriting

Autre Publication Année : 2001

(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.

type theory rewriting lambda calculus dependent types termination polymorphism

Logique en informatique [cs.LO]

Fichier principal

main.pdf (867.42 Ko)

Origine : Fichiers produits par l'(les) auteur(s)

https://inria.hal.science/inria-00105525

Soumis le : jeudi 22 février 2007-09:42:15

Dernière modification le : samedi 10 février 2024-03:07:59

Archivage à long terme le : mardi 21 septembre 2010-12:47:34

inria-00105525 , version 1 (11-10-2006)

inria-00105525 , version 2 (22-02-2007)

Frédéric Blanqui. Type theory and rewriting. 2001. ⟨inria-00105525v2⟩

EC-PARIS CNRS UMR8623 UNIV-PARIS-SACLAY

106 Consultations

236 Téléchargements