Résultat(s) 1 - 4 résultats de 4 pour la requête 'Curien Pierre-Louis', Temps de recherche: 0,02s Affiner les résultats
  1. 1
    Categorical combinators, sequential algorithms, and functional programming
    par Curien Pierre-Louis
    Birkhäuser cop. 1993
    Livre
  2. 2
    Domains and lambda-calculi
    par Amadio Roberto, Curien Pierre-Louis
    Cambridge University Press cop. 1998
    Livre
  3. 3
    Interactive models of computation and program behavior
    par Curien Pierre-Louis, Herbelin Hugo, Krivine Jean-Louis
    Société Mathématique de France 2009
    Livre
  4. 4
    Introduction à la logique : théorie de la démonstration : cours et exercices corrigés
    Livre
Réutiliser cette recherche: Flux RSS – Envoyer cette recherche par courriel – Enregistrer la recherche

Vous cherchez un article par son titre ?

Consultez notre mode d'emploi sur les accès aux ressources numériques et l'activation de Nantilien.