Biblioteca da Universidade do Minho

Your cart is empty.
Kamareddine,, Fairouz A modern perspective on type theory : from its origins until today / by Fairouz Kamareddine, Twan Laan and Rob Nederpelt

A modern perspective on type theory : from its origins until today / by Fairouz Kamareddine, Twan Laan and Rob Nederpelt . - London : Kluwer Academic Publishers, [imp. 2010] . - XIV, 357 p. 24 cm . - (Applied logic series; 29)
1-4020-2334-0 Encadernado978-1-4020-2334-7

510.6