Nouvelles notions de réduction en lambda calcul, Thèse de doctorat, Université de Nancy 1 (1989)

by D Vidal