A Constructive Semantics of the Lambda Calculus

Simple item page
dc.contributor.authorA Constructive Semantics Of The Lambda Calculus
dc.date.accessioned2017-01-30T11:24:30Z
dc.date.available2017-01-30T11:24:30Z
dc.date.issued1994
dc.description211 p.en_US
dc.identifier.urihttp://hdl.handle.net/123456789/144980
dc.identifier.urihttps://digitallibrary.punjab.gov.pk/handle/1/6072
dc.language.isoenen_US
dc.publisherIndian Institute of Technologyen_US
dc.subjectCalculusen_US
dc.subjectThesisen_US
dc.titleA Constructive Semantics of the Lambda Calculusen_US
dc.typeBooken_US
Files
Original bundle
Now showing 1 - 1 of 1
Thumbnail Image
Name:
A Constructive Semantics Of The Lambda Calculus.pdf
Size:
6.03 MB
Format:
Adobe Portable Document Format
Description:
Download
Collections
New Mathematics