A Modern Perspective on Type Theory

MLA

Kamareddine, Fairouz D, et al. A Modern Perspective On Type Theory. Dordrecht: Springer Netherlands, 2005.

APA

Kamareddine, F. D, Kamareddine, F., Laan, T., Nederpelt, R. P, Laan, T., Nederpelt, R. P, & Nederpelt, R. (2005). A Modern Perspective on Type Theory. Dordrecht: Springer Netherlands.

Chicago

Kamareddine, Fairouz D., F.D Kamareddine, Twan Laan, Rob P Nederpelt, T Laan, R. P Nederpelt, and Rob Nederpelt. A Modern Perspective On Type Theory. Dordrecht: Springer Netherlands, 2005.