@book{1576,
	author = {Pierce, Benjamin C.},
	title = {Types and programming languagues /},
	publisher = {The MIT Press,},
	year = {2002.},
	address = {USA :},
	url = {https://itmsp.museknowledge.com/UOH?qurl=https://libros-uoh.uoh.cl/ebook/004176-Types-and-programming-languajes }
}