| 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 |