@book{129370,
	author = {Sambin, Giovanni. and ebrary, Inc.},
	title = {Twenty-five years of constructive type theory},
	publisher = {Clarendon Press ;},
	year = {1998.},
	series = {Oxford logic guides ;},
	address = {Oxford :},
	url = {http://site.ebrary.com/lib/rucke/Doc?id=10464228}
}