Cover Image

Types for proofs and programs : International Workshop TYPES '96, Aussois, France, December 15-19, 1996 : selected papers /

Show other versions (1)
Bibliographic Details
Corporate Author: International Workshop TYPES '96 Aussois, France
Other Authors: Giménez, Eduardo, 1967-, Paulin-Mohring, Christine, 1962-
Format: Conference Proceeding Book
Language:English
Published: Berlin ; New York : Springer, [1998]
Series:Lecture notes in computer science. 1512.
Subjects:
Computer logic > Congresses.
Type theory > Congresses.
Description
Physical Description:viii, 372 pages ; 24 cm.
Bibliography:Includes bibliographical references and index.
ISBN:3540651373 (softcover)
ISSN:0302-9743 ;