Logical foundations of functional programming / Gérard Huet

Auteur secondaire : Huet, Gérard, 1947-, Editeur scientifiqueType de document : MonographieCollection : The UT year of programming seriesLangue : anglais.Pays: Etats Unis.Éditeur : Reading, MA : Addison-Wesley, 1990Description : 1 vol. (xvi-491 p.) : ill. ; 25 cmISBN: 0201172348.Bibliographie : Références bibliogr..Sujet MSC : 68N01, Computer science, General topics in the theory of software
68-06, Proceedings, conferences, collections, etc. pertaining to computer science
03B40, General logic, Combinatory logic and lambda calculus
03B16, General logic, Higher-order logic
Tags from this library: No tags from this library for this title. Log in to add tags.
Holdings
Item type Current library Call number Status Date due Barcode
Monographie Monographie CMI
Salle 2 		68 HUE (Browse shelf(Opens below)) Available 10259-01

1 exemplaire chez Qarma

Références bibliogr.

There are no comments on this title.

to post a comment.