m
     
Ouvrage

H 0 Categorical combinators, sequential algorithms, and functional programming

Curien, Pierre-Louis (Principal)

Birkhäuser

1993

403 p.

978-0-8176-3654-8

00019554

18B20 ; 68Q20 ; 68Q55 ; 68Qxx ; 68R15

algorithme # algorithme de séquence # combinatoire catégorique # environnement machine # informatique théorique # langage fonctionnel # logique combinatoire catégorique # logique linéaire # logique mathématique # programmation combinatoire pleine PCF # programmation fonctionnelle # sémantique

Ville d'édition : Basel ; Berlin ; Boston

Pays d'édition : États-Unis

Langue : Anglais

N° édition : 2nd ed.

EAN13 : 9780817636548

ISBN : 0-8176-3654-4

Collation : 24 cm#rel. ; Bibligor. ; Index

Collection : Progress in theoretical computer science

Localisation : Ouvrage RdC (CURI)

Code ACM : F.4.1 ; F.4.2 ; G.2.1

Type d'ouvrage : Monographie

Disponibilité : empruntable


Exemplaires

Nbre d'exemplaires : 1
Cote Code barre Commentaire
1 00019554 [disponible]
Z