Normal view MARC view ISBD view

Semantics and logics of computation / ed. Andrew M. Pitts, Peter Dybjer

Secondary Author Pitts, Andrew M
Dybjer, Peter Country Reino Unido. Publication Cambridge : Cambridge University Press, 1997 Description XII, 361 p. ; 24 cm Series Publications of Newton Institute) ISBN 0-521-58057-9 CDU 519.6

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 109491	Available		202413
Monografia	Biblioteca Geral da Universidade do Minho	BGUMD 109492	Available		239337