 |
 |
Area della Ricerca di Padova
|
ISBD
Normal View
ISBD View
Nordstrom, Bengt
Programming in Martin Lof' s type theory : an introduction / Bengt Nordstrom, Kent Petersson, Jan M. Smith - Oxford : Clarendon Press, 1990 - 221 p. ; 24 cm. - International series of monographs and computer science ; 7 .
0198538146
Electronic digital computer programming
Set theory
QA76.6.N66
Programming in Martin Lof' s type theory : an introduction / Bengt Nordstrom, Kent Petersson, Jan M. Smith - Oxford : Clarendon Press, 1990 - 221 p. ; 24 cm. - International series of monographs and computer science ; 7 .
0198538146
Electronic digital computer programming
Set theory
QA76.6.N66
Important links here.
There are no comments for this item.
Log in to your account to post a comment.