 |
 |
Area della Ricerca di Padova
|
Programming in Martin Lof' s type theory : an introduction /
by Nordstrom, Bengt
Normal View ISBD View
Authors:
Petersson, Kent
Series:
International series of monographs and computer science ;
. 7
Published by :
Clarendon Press,
(Oxford : )
Physical details: 221 p. ; 24 cm.
Subject(s):
Electronic digital computer programming
|
Set theory
Year : 1990
No tags for this title.
| Item type | Location | Call Number | Copy | Status | Date Due |
|---|---|---|---|---|---|
| Books | Istituto di Ingegneria Biomedica | QA76.6.N66 (Browse Shelf) | 1 | Available |
Browsing Istituto di Ingegneria Biomedica Shelves Close Shelf Browser
Important links here.
There are no comments for this item.