A Constructive Semantics of the Lambda Calculus

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