Biblioteca da Universidade do Minho

Your cart is empty.

Your search returned 2 results. Subscribe to this search

|
Programming in Martin-Lof's type theory : an introduction / Bengt Nordstrom, Kent Petersson, Jan M. Smith Monografia Publication Oxford : Clarendon Press, 1990 Description X, 221 p. ; 24 cm LocationBiblioteca Geral da Universidade do Minho Availability Available (2).

Place hold Add to cart
Types for proofs and programs / ed. Peter Dybjer, Bengt Nordstrom, Jan Smith Monografia Publication Berlin : Springer-Verlag, cop. 1995 Description X, 202 p. ; 24 cm LocationBiblioteca Geral da Universidade do Minho Availability Available (1).

Place hold Add to cart