Reference. Domain-Theoretic Foundations of Functional Programming [streicher-2006-domain]

2006 · Thomas Streicher

@book{streicher-2006-domain,
	author = {Streicher, Thomas},
	title = {Domain-theoretic Foundations of Functional Programming},
	year = {2006},
	isbn = {9812701427},
	publisher = {World Scientific Publishing Co., Inc.},
	address = {USA}
}