Cover Image

The power of interaction /

Bibliographic Details
Main Author: Lund, Carsten, 1963-
Format: Book
Language:English
Published: Cambridge, Mass. : MIT Press, [1992]
Series:ACM distinguished dissertations.
Subjects:
Proof theory.
Description
Physical Description:125 pages : illustrations
Bibliography:Includes bibliographical references and index.
ISBN:0262121700