Expressive Power and Abstraction in Essence David G. Mitchell and Eugenia Ternovska Computational Logic Laboratory Simon Fraser University {mitchell,ter Abstract - Simon Mitchell - Document - PDFSEARCH.IO

First Page		Document Content
		Expressive Power and Abstraction in Essence David G. Mitchell and Eugenia Ternovska Computational Logic Laboratory Simon Fraser University {mitchell,ter}@cs.sfu.ca Abstract Add to Reading List Source URL: www.crt.umontreal.ca Download Document from Source Website File Size: 400,22 KB Share Document on Facebook