A paradigm for program semantics : power structures and duality /

A paradigm for program semantics : power structures and duality /

Saved in:

Bibliographic Details
Author / Creator:	Brink, Chris, 1951-
Imprint:	Stanford, Calif. : CSLI Publications : FoLLI, c2001.
Description:	xi, 273 p. : ill. ; 23 cm.
Language:	English
Series:	Studies in logic, language, and information ; no. 17
Subject:	Logic, Symbolic and mathematical. Semantics (Philosophy) Programming languages (Electronic computers) -- Semantics. Logic, Symbolic and mathematical. Programming languages (Electronic computers) -- Semantics. Semantics (Philosophy)
Format:	Print Book
URL for this record:	http://pi.lib.uchicago.edu/1001/cat/bib/4586281

Hidden Bibliographic Details
Other authors / contributors:	Rewitzky, Ingrid M., 1968-
ISBN:	1575863456 (alk. paper) 1575863448 (pbk. : alk. paper)
Notes:	Includes bibliographical references (p. 239-251) and indexes.

Regenstein, Bookstacks

Loading map link

Holdings details from Regenstein, Bookstacks
Call Number:	BC135 .B747 2001
c.1	Available Loan period: standard loan Scan and Deliver Request for Pickup Need help? - Ask a Librarian