Une extension de la théorie des types en -calcul (0)

by Patrick Sallé
Venue:International Colloquium on Automata, Languages and Programming (Udine