Combinators and functional programming languages :
thirteenth spring school of the lipt held in val d'ajo#May
Cousineau, Guy (Editeur) ; Curien, Pierre-Louis (Editeur) ; Robinet, Bernard (Editeur)
1986
208 p.
978-3-540-17184-3
00013961
calcul lambda # informatique théorique # langage # langage de programmation # langage de programmation combinatoire # langage de programmation fonctionnel # logique # programmation # programmation automatique # sémantique # système # technique de programmation
Ville d'édition : Berlin ; Heidelberg ; N.Y.
Pays d'édition : Allemagne
Langue : Anglais
EAN13 : 9783540171843
ISBN : 3-540-17184-3
Collation : ill.#24 cm#broch. ; Bibliogr.
Collection : Lecture notes in computer science
N° de collection : 0242
Localisation : Collection 1er étage
Numéro de congrès : 13
Année de la rencontre : 1985
Ville du congrès : Val d'Ajol
Pays du congrès : France
Code ACM : D.1.1 ; D.3 ; F.1.1 ; F.3.2 ; F.3.3
Type Congrès : Congrès
Disponibilité : empruntable
Niveau d'autorisation : Public
N° | Cote | Code barre | Commentaire | |
---|---|---|---|---|
1 | 00013961 | [disponible] |