Shelfclass_id |
3.A |
Sortkey |
TYPES |
Authors |
Thorsten Altenkirch, Conor McBride |
Title |
TYPES 2006: Types for Proofs and Programs: International Workshop, TYPES 2006, Nottingham, UK, April 18-21, 2006: revised selected papers |
Publisher |
Springer |
Year |
c2007 |
Languages |
eng |
Isbn |
3540744630, 9783540744634 |
Series |
Lecture Notes in Computer Science |
Volume |
4502 |
Issn |
0302-9743 |
Description |
(pbk.) (pbk.) viii, 268 p. ill. 24 cm. |
Record date |
20090217 |
Location |
New York |
Keywords |
Automatic theorem proving, Computer programming |
Urlnote |
Table of contents |
Urls |
http://www.loc.gov/catdir/toc/fy0803/2007936170.html |