Interactive models of computation and program behavior
By: Pierre-Louis Curien ... [et al.].
Contributors: Société mathématique de France
Series: Panoramas et synthèses -- 27
Publisher: Société mathématique de France; Societe? mathematique de France
Published: 2009
Place of publication: Paris
Language: eng
Number of pages: 275
ISBN-13: 9782856292730
Subjects: Computer science; Mathematics; Computable functions; Computational intelligence
Notes: Includes bibliographical references.

Abstracts also French.