Please use this identifier to cite or link to this item:
Files in This Item:
There are no files associated with this item.
|Title:||A unifying framework for Lambda Calculi and their extensions with explicit substitution operators that is useful for verifying confluence|
|Authors:||Taylor, Amelia V.|
Mathematical and Computer Sciences
|Rights:||All items in ROS are protected by the Creative Commons copyright license (http://creativecommons.org/licenses/by-nc-nd/2.5/scotland/), with all rights reserved.|
|Appears in Collections:||Doctoral Theses (Mathematical & Computer Sciences)|
Items in ROS are protected by copyright, with all rights reserved, unless otherwise indicated.