Déposez votre fichier ici pour le déplacer vers cet enregistrement.
V
- 520 p.
Cote : 00000179
arithmétique combinatoire # fonctionalité # généralité restreinte # généralité universelle # logique combinatoire # système illatif # théorie des types combinatoires
03B15 ; 03B40
Localisation : Ouvrage RdC (CURR)
Déposez votre fichier ici pour le déplacer vers cet enregistrement.
V
- 403 p.
Cote : 00020979
calcul lambda # langage formel # logique combinatoire # logique de programmation # logique mathématique # signification des programmes # technique de programmation
03B40 ; 68N15 ; 68N17 ; 68Nxx
Localisation : Collection 1er étage
Déposez votre fichier ici pour le déplacer vers cet enregistrement.
V
- 170 p.
Cote : 00027526
conversion lambda # logique combinatoire # théorie récursive
03B40 ; 03D99 ; 03-01
Localisation : Ouvrage RdC (HIND)
English