Biblioteca da Universidade do Minho

Your cart is empty.

Your search returned 2 results. Subscribe to this search

|
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
Proof theory : a selection of papers from the Leeds Proof Theory Programme 1990 / ed. Peter Aczel, Harold Simmons, Stanley S. Wainer Monografia Publication Cambridge : Cambridge University Press, 1992 Description X, 306 p. ; 23 cm LocationBiblioteca Geral da Universidade do Minho Availability Available (1).

Place hold Add to cart