m

F Nous contacter

0

Documents  Hindley, J. Roger | enregistrements trouvés : 3

O
     

-A +A

P Q

Déposez votre fichier ici pour le déplacer vers cet enregistrement.

- 403 p.
ISBN 978-3-540-62688-6

Lecture notes in computer science , 1210

Localisation : Collection 1er étage

calcul lambda # langage formel # logique combinatoire # logique de programmation # logique mathématique # signification des programmes # technique de programmation

03B40 ; 68N15 ; 68N17 ; 68Nxx

... Lire [+]

Déposez votre fichier ici pour le déplacer vers cet enregistrement.

- 170 p.
ISBN 978-0-521-09697-3

London mathematical society lecture note series , 0007

Localisation : Ouvrage RdC (HIND)

conversion lambda # logique combinatoire # théorie récursive

03B40 ; 03D99 ; 03-01

... Lire [+]

Déposez votre fichier ici pour le déplacer vers cet enregistrement.

- 520 p.
ISBN 978-0-7204-2208-5

Studies in logic and the foundations of mathematics , 0065

Localisation : Ouvrage RdC (CURR)

arithmétique combinatoire # fonctionalité # généralité restreinte # généralité universelle # logique combinatoire # système illatif # théorie des types combinatoires

03B15 ; 03B40

... Lire [+]

Z