Nouvelles notions de reduction en lambda calcul, These de doctorat, Universite de Nancy 1 (1989)

by D Vidal