Normal view MARC view ISBD view

Categorical combinators, sequential algorithms, and funcional programming / Pierre-Louis Curien

Main Author Curien, P.-L. Country Estados Unidos. Edition 2nd ed Publication Boston : Birkhäuser, cop. 1993 Description XX, 403 p. ; 25 cm Series Progress in theoretical computer science) ISBN 0-8176-3654-4 CDU 519.68 510.5

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	BGUM 519.68 - C	Available		153755
Monografia	Biblioteca da UMinho no Campus de Azurém	BPG3 519.68 - C	Available		203643