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.

Remote Storage

Holdings details from Remote Storage
Call Number: QA76.9.L63 I58 1996
 
Call Number Status Get It
QA76.9.L63 I58 1996 Available