@book{36155,
	author = {Kamareddine, Fairouz. and Laan, Twan. and SpringerLink (Online service)},
	title = {A Modern Perspective on Type Theory},
	publisher = {Springer Netherlands,},
	year = {2005.},
	series = {Applied Logic Series,},
	address = {Dordrecht :},
	url = {http://dx.doi.org/10.1007/1-4020-2335-9}
}