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, Computer science, Semantics in the theory of computing
03B70, General logic, Logic in computer scienceEn-ligne : zbMath | MSN Item type:

Current library | Call number | Status | Date due | Barcode |
---|---|---|---|---|
CMI Salle R | 03 AMA (Browse shelf(Opens below)) | Available | 11937-01 |
Bibliogr. p. [469]-479. Index
There are no comments on this title.