Biblioteca da Universidade do Minho

Your cart is empty.

Your search returned 3 results. Subscribe to this search

|
Semantics and logics of computation / ed. Andrew M. Pitts, Peter Dybjer Monografia Publication Cambridge : Cambridge University Press, 1997 Description XII, 361 p. ; 24 cm LocationBiblioteca Geral da Universidade do Minho Availability Available (2).

Place hold Add to cart
Higher order operational techniques in semantics / ed. Andrew D. Gordon, Andrew M. Pitts Monografia Publication Cambridge : Cambridge University Press, cop. 1998 Description VII, 390 p. ; 24 cm LocationBiblioteca Geral da Universidade do Minho Availability Available (1).

Place hold Add to cart
Applications of categories in computer science : proceedings / LMS Symposium ; ed. M. P. Fourman, P. T. Johnstone, A. M. Pitts Monografia Publication Cambridge : Cambridge University Press, 1992 Description [10], 339 p. : il. ; 23 cm LocationBiblioteca Geral da Universidade do Minho Availability Available (1).

Place hold Add to cart