Biblioteca da Universidade do Minho

Your cart is empty.

Your search returned 3 results. Subscribe to this search

|
Typed lambda calculi and applications : proceedings / 7th International Conference... ; ed. Pawel Urzyczyn Monografia Publication Berlin : Springer, cop. 2005 Description XI, 432 p. : il. ; 24 cm LocationBiblioteca Geral da Universidade do Minho Availability Available (1).

Place hold Add to cart
Typed lambda calculi and applications : proceedings / Third International Conference... ; ed. Philippe de Groote, J. Roger Hindley Monografia Publication Berlin : Springer, cop. 1997 Description VIII, 404 p. : il. ; 24 cm LocationBiblioteca Geral da Universidade do Minho Availability Available (1).

Place hold Add to cart
Typed lambda calculi and applications : proceedings / 6th International Conference, TLCA 2003 ; ed. Martin Hofmann Monografia Publication Berlin : Springer, cop. 2003 Description VIII, 315 p. ; 24 cm LocationBiblioteca Geral da Universidade do Minho Availability Available (1).

Place hold Add to cart