Types for Proofs and Programs
International Workshop TYPES '94, Bastad, Sweden, June 6-10, 1994. Selected Papers
Edición de la obra Types for Proofs and Programs
| Autor | Peter Dybjer, Bengt Nordström, Jan Smith |
|---|---|
| Editorial | Springer |
| Fecha de publicación | Mar 12, 2014 |
| Páginas | 220 |
| Formato | paperback |
| ISBN-13 | 9783662188460 |
| ISBN-10 | 3662188465 |
| Número de Cutter | D994t |