Normal view MARC view ISBD view

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, Theory of software, General topics
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.
Current location Call number Status Date due Barcode
CMI
Salle R
68 HUE (Browse shelf) Available 10259-01

1 exemplaire chez Qarma

Références bibliogr.

There are no comments for this item.

Log in to your account to post a comment.