Une extension de la theory des types en l-calcul (1978)

by P Salle
Venue:In Proceedings of Automata, Languages and Programming