A unifying framework for Lambda Calculi and their extensions with explicit substitution operators that is useful for verifying confluence
| dc.contributor.author | Taylor, Amelia V. | en |
| dc.date.accessioned | 2008-10-22T14:29:44Z | |
| dc.date.available | 2008-10-22T14:29:44Z | |
| dc.date.issued | 2006 | en |
| dc.identifier.other | DXN107301 | en |
| dc.identifier.uri | http://hdl.handle.net/10399/119 | |
| dc.format.medium | Not currently available online. A paper copy may be available – please contact the Library for help. | en |
| dc.language.iso | en | |
| dc.publisher | Heriot-Watt University | en |
| dc.publisher | Mathematical and Computer Sciences | en |
| dc.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. | en |
| dc.title | A unifying framework for Lambda Calculi and their extensions with explicit substitution operators that is useful for verifying confluence | en |
| dc.type | thesis | en |
Files in this item
| Files | Size | Format | View |
|---|---|---|---|
|
There are no files associated with this item. |
|||