Biblioteca da Universidade do Minho catalog › Results of search for 'J. Roger Hindley'

		Basic simple type theory / J. Roger Hindley Monografia Publication Cambridge : Cambridge University Press, 1997 Description XI, 186 p. ; 24 cm LocationBiblioteca Geral da Universidade do Minho Availability Available (3). 1 2 3 4 5 Place hold Add to cart (remove)
		Introduction to combinators and [Lambda] - calculus / J. Roger Hindley, Jonathan P. Seldin Monografia Publication Cambridge : Cambridge University Press, imp. 1993 Description [7], 360 p. ; 23 cm LocationBiblioteca Geral da Universidade do Minho Availability Available (2). 1 2 3 4 5 Place hold Add to cart (remove)
		Lambda-calculus and combinators, an introduction / J. Roger Hindley, Jonathan P. Seldin Monografia Publication Cambridge : Cambridge University Press, repr. 2010 Description XI, 345 p. : il. ; 24 cm LocationBiblioteca Geral da Universidade do Minho Availability No copies available Checked out (1). 1 2 3 4 5 Place hold Add to cart (remove)
		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). 1 2 3 4 5 Place hold Add to cart (remove)

Biblioteca da Universidade do Minho