A unifying framework for Lambda Calculi and their extensions with explicit substitution operators that is useful for verifying confluence

Please use this identifier to cite or link to this item: http://hdl.handle.net/10399/119

View Statistics

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.
Issue Date:	2006
URI:	http://hdl.handle.net/10399/119
Publisher:	Heriot-Watt University 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)