A modern perspective on type theory : from its origins until today /

A modern perspective on type theory : from its origins until today /

41

Bibliographic Details
Main Authors: 318199 Kamareddine, Fairouz D., Laan, Twan, Nederpelt, R. P. (Rob P.)
Format:
Language:eng
Published: Dordrecht : Kluwer Academic Publishers, 2004
Subjects:
Type theory

Similar Items