Models of sharing graphs : a categorical semantics of let and letrec /

Models of sharing graphs : a categorical semantics of let and letrec /

Saved in:

Bibliographic Details
Author / Creator:	Hasegawa, Masahito, 1970-
Imprint:	London ; New York : Springer, c1999.
Description:	xii, 134 p. : ill. ; 24 cm.
Language:	English
Series:	Distinguished dissertations CPHC/BCS distinguished dissertations)
Subject:	Programming languages (Electronic computers) Type theory. Categories (Mathematics) Computable functions. Graph grammars.
Format:	Dissertations Print Book
URL for this record:	http://pi.lib.uchicago.edu/1001/cat/bib/3906232

Hidden Bibliographic Details
ISBN:	1852331453 (alk. paper)
Notes:	Originally published as the author's thesis, Ph.D, University of Edinburgh. Includes bibliographical references (p. [127]-132) and index.

Mansueto

Loading map link

Holdings details from Mansueto
Call Number:	QA76.7 .H38 1999
c.1	Available Loan period: standard loan Request from Mansueto Scan and Deliver Need help? - Ask a Librarian