@book{124386,
	author = {Sorensen, Morten Heine. and Urzyczyn, Pawe.},
	title = {Lectures on the Curry-Howard isomorphism /},
	publisher = {Elsevier,},
	year = {2006.},
	address = {Boston :}
}