@book{74684,
	author = {Hindley, J. Roger},
	title = {Basic simple type theory /},
	publisher = {Cambridge University Press,},
	year = {1997},
	series = {Cambridge tracts in theoretical computer science},
	address = {New York :}
}