Area della Ricerca di Padova
Corso Stati Uniti,4 35127 Padova (ITALY) - Tel.+39 049 8295611 - Fax.+39 049 8295671

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. Log in to add tags.
Item type Location Call Number Copy Status Date Due
Books Istituto di Ingegneria Biomedica QA76.6.N66 (Browse Shelf) 1 Available

There are no comments for this item.

Log in to your account to post a comment.
Important links here.