Domains and lambda-calculi / Roberto M. Amadio, Pierre-Louis Curien
Type de document : MonographieCollection : Cambridge tracts in theoretical computer science, 46Langue : anglais.Pays : Grande Bretagne.Éditeur : Cambridge : Cambridge University Press, 1998Description : 1 vol. (XVI-484 p.) ; 24 cmISBN : 0521622778.ISSN : 0956-9103.Bibliographie : Bibliogr. p. [469]-479. Index.Sujet MSC : 03-02, Research exposition (monographs, survey articles) pertaining to mathematical logic and foundations03B40, General logic, Combinatory logic and lambda calculus
68Q55, Theory of computing, Semantics in the theory of computing
03B70, General logic, Logic in computer scienceEn-ligne : zbMath | MSN
Current location | Call number | Status | Date due | Barcode |
---|---|---|---|---|
CMI Salle R | 03 AMA (Browse shelf) | Available | 11937-01 |
Bibliogr. p. [469]-479. Index
There are no comments for this item.