DSpace JSPUI
DSpace preserves and enables easy and open access to all types of digital content including text, images, moving images, mpegs and data sets
Learn More
Please use this identifier to cite or link to this item:
http://localhost:8080/xmlui/handle/1/6072Full metadata record
| DC Field | Value | Language |
|---|---|---|
| dc.contributor.author | A Constructive Semantics Of The Lambda Calculus | - |
| dc.date.accessioned | 2017-01-30T11:24:30Z | - |
| dc.date.available | 2017-01-30T11:24:30Z | - |
| dc.date.issued | 1994 | - |
| dc.identifier.uri | http://hdl.handle.net/123456789/144980 | - |
| dc.identifier.uri | http://localhost:8080/xmlui/handle/1/6072 | - |
| dc.description | 211 p. | en_US |
| dc.language.iso | en | en_US |
| dc.publisher | Indian Institute of Technology | en_US |
| dc.subject | Calculus | en_US |
| dc.subject | Thesis | en_US |
| dc.title | A Constructive Semantics of the Lambda Calculus | en_US |
| dc.type | Book | en_US |
| Appears in Collections: | Open Access Books | |
Files in This Item:
| File | Description | Size | Format | |
|---|---|---|---|---|
| A Constructive Semantics Of The Lambda Calculus.pdf | 6.18 MB | Adobe PDF | View/Open |
Items in DSpace are protected by copyright, with all rights reserved, unless otherwise indicated.