The primitive proof theory of the lambda-calculus
| dc.contributor.author | Vestergaard, Rene | en |
| dc.date.accessioned | 2008-10-22T14:31:04Z | |
| dc.date.available | 2008-10-22T14:31:04Z | |
| dc.date.issued | 2003 | en |
| dc.identifier.other | DXN069711 | en |
| dc.identifier.uri | http://hdl.handle.net/10399/415 | |
| 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 | The primitive proof theory of the lambda-calculus | en |
| dc.type | thesis | en |
Files in this item
| Files | Size | Format | View |
|---|---|---|---|
|
There are no files associated with this item. |
|||