Normal view MARC view ISBD view

Programming in Martin-Lof's type theory : an introduction / Bengt Nordstrom, Kent Petersson, Jan M. Smith

Main Author Nordstrom, Bengt Coauthor Petersson, Kent
Smith, Jan M. Country Reino Unido. Publication Oxford : Clarendon Press, 1990 Description X, 221 p. ; 24 cm Series The international series of monographs on computer science , 7 ISBN 0-19-853814-6 CDU 519.68

Tags from this library: No tags from this library for this title. Log in to add tags.

average rating: 0.0 (0 votes)

Holdings ( 2 )
Title notes
Comments ( 0 )

Holdings
Item type	Current location	Call number	Status	Date due	Barcode	Item holds
Monografia	Biblioteca Geral da Universidade do Minho	BGUMD 109664	Available		124113
Monografia	Biblioteca Geral da Universidade do Minho	BGUMD 138598	Available		183407