Domains and lambda-calculi / Roberto M. Amadio, Pierre-Louis Curien

Auteur principal : Amadio, Roberto M., 1963-, AuteurCo-auteur : Curien, Pierre-Louis, 1953-, AuteurType 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 foundations
03B40, 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: Monographie
Tags from this library: No tags from this library for this title. Log in to add tags.
Holdings
Current library Call number Status Date due Barcode
CMI
Salle 1 		03 AMA (Browse shelf(Opens below)) Available 11937-01

Bibliogr. p. [469]-479. Index

There are no comments on this title.

to post a comment.