Biblioteca da Universidade do Minho

Your cart is empty.

Your search returned 2 results. Subscribe to this search

|
Categorical combinators, sequential algorithms, and funcional programming / Pierre-Louis Curien Monografia Publication Boston : Birkhäuser, cop. 1993 Description XX, 403 p. ; 25 cm LocationBiblioteca Geral da Universidade do Minho, Biblioteca da UMinho no Campus de Azurém Availability Available (2).

Place hold Add to cart
Domains and lambda-calculi / Roberto M. Amadio, Pierre-Louis Curien Monografia Publication Cambridge : Cambridge University Press, 1998 Description XVI, 484 p. ; 24 cm LocationBiblioteca Geral da Universidade do Minho Availability Available (1).

Place hold Add to cart