Catalog
Bookmarks
0
Course Reserves
My Account
Advanced search
Search in
Keyword
Title
Author/Creator
Subject
Browse by LC Call Number
Browse by Author
Browse by Subject
search for
Search
Advanced search
Start Over
Share
Email
RIS file
Bookmark
Report an Issue
Types for proofs and programs : International Workshop TYPES '96, Aussois, France, December 15-19, 1996 : selected papers / Eduardo Giménez, Christine Paulin-Mohring (eds.).
Conference Author:
International Workshop TYPES '96 (1996 : Aussois, France)
Published:
Berlin ; New York : Springer Verlag, [1998]
Copyright Date:
©1998
Physical Description:
viii, 372 pages : illustrations ; 24 cm.
Additional Creators:
Giménez, Eduardo, 1967-
and
Paulin-Mohring, Christine, 1962-
Availability
Browse Nearby on Shelf
I Want It
I Want It
Finding items...
Series:
Lecture notes in computer science ; 1512
Subject(s):
Computer logic
—
Congresses
Type theory
—
Congresses
ISBN:
3540651373 (softcover)
Bibliography Note:
Includes bibliographical references and index.
View MARC record
| catkey: 1810494