Rechercher dans
Nos Events & Actus
Une étude combinatoire du lambda-calcul avec ressources uniforme
Une étude combinatoire du lambda-calcul avec ressources uniforme
World Scientific
(2005),
Pages 169