Biblioteca da Universidade do Minho

Your cart is empty.
Thompson,, Simon Type theory and functional programming / Simon Thompson

Type theory and functional programming / Simon Thompson . - Wokingham : Addison-Wesley, 1991 . - XV, 372 p. 24 cm . - (International computer science series)
0-201-41667-0 (Encadernado)

510.5