| Shelfclass_id | 3.A |
| Sortkey | TYPES |
| Authors | Marino Miculan, Ivan Scagnetto, Furio Honsell |
| Title | TYPES 2007: Types for Proofs and Programs: International Conference, TYPES 2007, Cividale del Friuli, Italy, May 2-5, 2007, Revised Selected Papers |
| Publisher | Springer |
| Year | c2008 |
| Languages | eng |
| Isbn | 9783540680840 |
| Series | Lecture Notes in Computer Science |
| Volume | 4941 |
| Issn | 0302-9743 |
| Description | vi, 202 p. ill. 24 cm. |
| Record date | 20090902 |
| Location | New York |
| Keywords | Automatic theorem proving, Computer programming |