Normal view MARC view ISBD view

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, Theory of computing, Semantics in the theory of computing
03B70, General logic, Logic in computer science
En-ligne : zbMath | MSN
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
03 AMA (Browse shelf) Available 11937-01

Bibliogr. p. [469]-479. Index

There are no comments for this item.

Log in to your account to post a comment.