Type(s) de contenu et mode(s) de consultation : Texte noté : sans médiation

Auteur(s) : Curien, Pierre-Louis  Voir les notices liées en tant qu'auteur

Titre(s) : Categorical combinators, sequential algorithms and functional programming [Texte imprimé] / Pierre-Louis Curien

Édition : 2nd ed.

Publication : Basel ; Boston : Birkhäuser, cop. 1993

Description matérielle : XX-403 p. ; 24 cm

Collection : Progress in theoretical computer science

Lien à la collection : Progress in theoretical computer science  Voir toutes les notices liées

Note(s) : Bibliogr. p. 381-394. Index

Sujet(s) : Langages formels  Voir les notices liées en tant que sujet
Lambda-calcul  Voir les notices liées en tant que sujet

Indice(s) Dewey :  005.131 (23e éd.) = Logique symbolique (informatique)  Voir les notices liées en tant que sujet

Identifiants, prix et caractéristiques : ISBN 3-7643-3654-4. - ISBN Basel. - ISBN 0-8176-3654-4 (Boston)

Identifiant de la notice  : ark:/12148/cb37443526n

Notice n° :  FRBNF37443526