m

F Nous contacter

0
     
Ouvrage

H 0 Lambda-calcul types et modèles

Krivine, Jean-Louis (Principal)

Masson

1990

176 p.

978-2-225-82091-5

00016128

03-XX ; 03B15 ; 03B40 ; 03Bxx ; 03D20

fonction récursive # lambda calcul # logique combinatoire # logique générale # logique mathématique # théorie des types

Ville d'édition : Barcelone ; Milan ; Paris

Pays d'édition : France

Langue : Français

EAN13 : 9782225820915

ISBN : 2-225-82091-0

Collation : Bibliogr. ; Index ; viii#table#25 cm#rel.

Collection : Etudes et recherches en informatique

Localisation : Disparu ; Ouvrge RdC (KRIV)

Notes : Doubles L16128 et L17419 don SMAI

Type d'ouvrage : Monographie

Disponibilité : Disparu ; empruntable


Exemplaires

Nbre d'exemplaires : 2
Cote Code barre Commentaire
1 00016128 Disparu 2005
D2004
D 2003

[non empruntable]
2 00017419 [disponible]
Z