Biblioteca da Universidade do Minho

Your cart is empty.

Your search returned 2 results. Subscribe to this search

|
Logical environments / ed. Gérard Huet, Gordon Plotkin Monografia Publication Cambridge : Cambridge University Press, 1993 Description XIII, 338 p. ; 24 cm LocationBiblioteca Geral da Universidade do Minho Availability Available (1).

Place hold Add to cart
Proof, language, and interaction : essays in honour of Robin Milner / ed. Gordon Plotkin, Colin Stirling, Mads Tofte Monografia Publication Cambridge, Mas. : The MIT Press, cop. 2000 Description XIV, 722 p. ; 24 cm LocationBiblioteca Geral da Universidade do Minho Availability Available (1).

Place hold Add to cart