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.