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

Niveau d'autorisation : Public

Exemplaires