Programming in Martin Lof' s type theory : an introduction / ; By Nordstrom, Bengt
| Copyright: | 1990 |
|---|---|
| ISBN: | 0198538146 |
| LCCN: | QA76.6.N66 |
| Publisher: | Oxford : Clarendon Press, |
| Physical Details: | 221 p. ; 24 cm. |
| Record No.: | 3146 |
| Type/Format | Call Number | Location | Due Date | Last Seen | Barcode |
|---|---|---|---|---|---|
 Books |
QA76.6.N66 | Istituto di Ingegneria Biomedica | 2010-04-13 | LADSEB3834 |