Date of Award
10-2009
Degree Type
Thesis
Degree Name
Master of Science (MS)
Department
Computing and Software
Supervisor
Jacques Carette
Language
English
Abstract
p.p1 {margin: 0.0px 0.0px 0.0px 0.0px; font: 10.5px Times} span.s1 {font: 11.0px Times}
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.
My special thanks and appreciation goes to the members of my examination committee, Dr. Jacques Carette, Dr. William M. Farmer, and Dr. Spencer Smith.
Many helpful suggestions and comments by various members of the MathScheme project group have helped to improve the quality of this work.
p.p1 {margin: 0.0px 0.0px 0.0px 0.0px; font: 10.5px Times} span.s1 {font: 10.5px Helvetica}
And finally, I would like to thank my family and friends, for their love, encouragement and continuous support.
Recommended Citation
Zhang, Huan, "A Language and a Library of Algebraic Theory-types" (2009). Open Access Dissertations and Theses. Paper 4377.
http://digitalcommons.mcmaster.ca/opendissertations/4377
McMaster University Library
