Investigations into Martin-Lof type theory as a programming logic
| dc.contributor.author | Chisholm, Paul | en |
| dc.date.accessioned | 2008-10-22T14:33:35Z | |
| dc.date.available | 2008-10-22T14:33:35Z | |
| dc.date.issued | 1988 | en |
| dc.identifier.other | DX84226 | en |
| dc.identifier.uri | http://hdl.handle.net/10399/977 | |
| 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 | Computing and Electrical Engineering | 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 | Investigations into Martin-Lof type theory as a programming logic | en |
| dc.type | thesis | en |
Files in this item
| Files | Size | Format | View |
|---|---|---|---|
|
There are no files associated with this item. |
|||