A Language and a Library of Algebraic Theory-types

Abstract

<p>p.p1 {margin: 0.0px 0.0px 0.0px 0.0px; font: 10.5px Times} span.s1 {font: 11.0px Times}</p> <p>I would first and foremost like to express my deep-felt gratitude to my supervisor, Dr. Jacques Carette, who shared with me a lot of his expertise and research insight through my studies. This thesis was made possible by his advice, assistance and guidance.</p> <p>My special thanks and appreciation goes to the members of my examination committee, Dr. Jacques Carette, Dr. William M. Farmer, and Dr. Spencer Smith.</p> <p>Many helpful suggestions and comments by various members of the MathScheme project group have helped to improve the quality of this work.</p> <p>p.p1 {margin: 0.0px 0.0px 0.0px 0.0px; font: 10.5px Times} span.s1 {font: 10.5px Helvetica}</p> <p>And finally, I would like to thank my family and friends, for their love, encouragement and continuous support.</p>