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