Biblioteca da Universidade do Minho

Your cart is empty.

Your search returned 34 results. Subscribe to this search

|
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
Mathematical theory of domains / Viggo Stoltenberg-Hansen Monografia Publication Cambridge : Cambridge University Press, 1994 Description XII, 349 p. : il. ; 26 cm LocationBiblioteca Geral da Universidade do Minho Availability Available (1).

Place hold Add to cart
Action semantics / Peter D. Mosses Monografia Publication Cambridge : Cambridge University Press, 1992 Description XX, 372 p. : il. ; 26 cm LocationBiblioteca Geral da Universidade do Minho Availability Available (1).

Place hold Add to cart
Derivation and computation : taking the Curry-Howard correspondence seriously / Harold Simmons Monografia Publication Cambridge : Cambridge University Press, cop. 2000 Description XXV, 384 p. : il. ; 24 cm LocationBiblioteca Geral da Universidade do Minho Availability Available (1).

Place hold Add to cart
Algorithmic information theory / Gregory J. Chaitin Monografia Publication Cambridge : Cambridge University Press, imp. 1990 Description X, 178 p. ; 25 cm LocationBiblioteca Geral da Universidade do Minho Availability Available (1).

Place hold Add to cart
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
Basic proof theory / A. S. Troelstra, H. Schwichtenberg Monografia Publication Cambridge : Cambridge University Press, 1996 Description XI, 343 p. ; 24 cm LocationBiblioteca Geral da Universidade do Minho Availability Available (4).

Place hold Add to cart
Algebraic specification of communication protocols / ed. S. Mauw, G. J. Veltink Monografia Publication Cambridge : Cambridge University Press, 1993 Description XI, 197 p. : il. ; 26 cm LocationBiblioteca Geral da Universidade do Minho Availability Available (2).

Place hold Add to cart
Higher order logic and hardware verification / T. Melham Monografia Publication Cambridge : Cambridge University Press, 1993 Description XIII, 165 p. : il. ; 26 cm LocationBiblioteca Geral da Universidade do Minho Availability Available (1).

Place hold Add to cart
Extensions of first order logic / María Manzano Monografia Publication Cambridge : Cambridge University Press, 1996 Description XXII, 388 p. ; 26 cm LocationBiblioteca Geral da Universidade do Minho Availability Available (2).

Place hold Add to cart
Free choice petri nets / Jörg Desel, Javier Esparza Monografia Publication Cambridge : Cambridge University Press, 1995 Description VIII, 244 p. : il. ; 26 cm LocationBiblioteca Geral da Universidade do Minho Availability Available (1).

Place hold Add to cart
Logic and computation / Lawrence C. Paulson Monografia Publication Cambridge : Cambridge University Press, 1990 Description XIII, 302 p. ; 25 cm LocationBiblioteca Geral da Universidade do Minho Availability Available (1).

Place hold Add to cart
The optimal implementation of functional programming languages / Andrea Asperti, Stefano Guerrini Monografia Publication Cambridge : Cambridge University Press, 1998 Description XI, 392 p. : il. ; 24 cm LocationBiblioteca Geral da Universidade do Minho Availability Available (1).

Place hold Add to cart
Term rewriting systems / Terese Monografia Publication Cambridge : Cambridge University Press, cop. 2003 Description XXII, 884 p. : il. ; 24 cm LocationBiblioteca Geral da Universidade do Minho Availability Available (1).

Place hold Add to cart