Semantics and logics of computation edited by Andrew M. Pitts, Peter Dybjer

Contributor(s):

Publication details: Cambridge Cambridge University Press 1997Description: xii, 361 p. : ill. ; 24 cmISBN:

ISSN:

Subject(s):

DDC classification:

Item type: Books

Tags from this library: No tags from this library for this title.

Average rating: 0.0 (0 votes)

Holdings
Current library	Call number	Status	Date due	Barcode
Anna Centenary Library	004.0151 PIT (Browse shelf(Opens below))	Available		105899

Includes bibliographical references and index

There are no comments on this title.

to post a comment.

Find us on the map