Français
Combinators and functional programming languages :
thirteenth spring school of the lipt held in val d'ajo#May
Cousineau, Guy (Editor) ; Curien, Pierre-Louis (Editor) ; Robinet, Bernard (Editor)
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
Publisher City : Berlin ; Heidelberg ; N.Y.
Publisher country : Allemagne
Language : English
EAN13 : 9783540171843
ISBN : 3-540-17184-3
Collation : ill.#24 cm#broch. ; Bibliogr.
Series : Lecture notes in computer science
Nb in series : 0242
Location : Collection 1er étage
Event Number : 13
Event Year : 1985
City of congres : Val d'Ajol
Country of congres : France
ACM code : D.1.1 ; D.3 ; F.1.1 ; F.3.2 ; F.3.3
Conference type : Congrès
Availability : empruntable
Level of authorization : Public
Copies
Number of copies : 1| No. | Call n° | Bar code | Commentary | |
|---|---|---|---|---|
| 1 | 00013961 | [available] |
