Normal view MARC view ISBD view

Types for proofs and programs : international workshop TYPES, France, Dec. 15-19, 1996

Types for proofs and programs : international workshop TYPES, France, Dec. 15-19, 1996 - - Berlin Springer 1998 - viii,373 p. 23.5 cm - Lecture notes in computer science ; v.1512 .

ISBN: 3-540-65137-3

Subjects--Topical Terms:

Computer Science and Engineering
Programming(Electronic computers)-Congresses , Logic, Symbolic and matematical-Congresses ,Proof theory-Data processing-Congresses

Universal Decimal Class. No.: 681.3.06:517.1Typ:96

Print
Add to your cart (remove)
More searches

Search for this title in:
Other Libraries (WorldCat) Other Databases (Google Scholar) Online Stores (Bookfinder.com) Open Library (openlibrary.org)