Biblioteca da Universidade do Minho

Your cart is empty.

Your search returned 2 results. Subscribe to this search

|
Proofs and types / Jean-Yves Girard ; trad. Paul Taylor, Yves Lafont Monografia Publication Cambridge : Cambridge University Press, imp. 1993 Description XI, 176 p. ; 26 cm LocationBiblioteca Geral da Universidade do Minho Availability Available (1).

Place hold Add to cart
Advances in linear logic / ed. Jean-Yves Girard, Yves Lafont, Laurent Regnier Monografia Publication Cambridge : Cambridge University Press, 1995 Description 389 p. ; 23 cm LocationBiblioteca Geral da Universidade do Minho Availability Available (2).

Place hold Add to cart