En poursuivant votre navigation sur ce site, vous acceptez l'utilisation d'un simple cookie d'identification. Aucune autre exploitation n'est faite de ce cookie. OK

Documents Seldin , Jonathan P. 2 résultats

Filtrer
Sélectionner : Tous / Aucun
Q
K | F x r
Déposez votre fichier ici pour le déplacer vers cet enregistrement.
V

Combinatory logic. Vol. 2 :
incompressible flow Curry, Haskell B. ; Hindley, J. Roger ; Seldin , Jonathan P. | North-Holland Publishing Co. 1972

Ouvrage

- 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)

Sélection

Cochez un dossier pour ajouter l'enregistrement à vos favoris. Décochez-le pour l'en enlever.

4

gerer mes paniers

Signaler une erreur
Déposez votre fichier ici pour le déplacer vers cet enregistrement.
V

Introduction to combinatory logic Hindley, J. Roger ; Lercher, B. ; Seldin , Jonathan P. | Cambridge University Press 1972

Ouvrage

- 170 p.
Cote : 00027526
conversion lambda # logique combinatoire # théorie récursive

03B40 ; 03D99 ; 03-01

Localisation : Ouvrage RdC (HIND)

Sélection

Cochez un dossier pour ajouter l'enregistrement à vos favoris. Décochez-le pour l'en enlever.

4

gerer mes paniers

Signaler une erreur

Listes : nb d'elts/page

Sélectionner : Tous / Aucun

Filtrer

Auteurs

Référence

Codes MSC

Date de parution