La valeur d’un entier classique en λµ-calcul (1997)

by Karim Nour
Venue:Archive for Mathematical Logic
Citations:13 - 11 self