Réflexion pour la réécriture dans le calcul des constructions inductives (2002)

by C Alvarado