- 484 p.
Cote : 00024279
logique # informatique # logique combinatoire # sémantique # logique de programmation # sémantique # langage de programmation # domaine # calcul lambda # syntaxe du calcul lambda # dualiété de Stone # approche syntaxique de la sémantique
03B40 ; 06B35 ; 58-02 ; 68Q55 ; 68N18
Localisation : Ouvrage RdC (AMAD)