IMSc Library catalog › Details for: Domains and Lambda-Calculi (CTTCS : 46)

Normal view MARC view ISBD view

Domains and Lambda-Calculi (CTTCS : 46)

TextSeries: Cambridge Tracts in Theoretical Computer Science, Vol.46Publication details: Cambridge ; CUP ; 1998Description: 484ISBN: 0 521 62277 8Subject(s): Domains Lambda-Calculi

Item type:

BOOKS

Tags from this library: No tags from this library for this title. Log in to add tags.

Average rating: 0.0 (0 votes)

Current library	Home library	Call number	Materials specified	Status	Date due	Barcode
IMSc Library	IMSc Library	681.3 AMA (Browse shelf (Opens below))		Available		37358

Previous		No cover image available						Next
Previous	681.3 ALE Parallel Algorithms for Knapsack type problems	681.3 ALL Relaxation methods in engineering and science	681.3 ALL Computing skills for biologists :a toolbox	681.3 AMA Domains and Lambda-Calculi (CTTCS : 46)	681.3 AMOS Theoretical and experimental DNA computation	681.3 AND Logic Programming : Operational Semantics and Proof Theory	681.3 AND Foundations of multithreaded parallel and distributed programming	Next

There are no comments on this title.

to post a comment.