A Constructive Semantics of the Lambda Calculus

Thumbnail Image
Files
A Constructive Semantics Of The Lambda Calculus.pdf(6.03 MB)
Date
1994
Authors
Journal Title
Journal ISSN
Volume Title
Publisher
Indian Institute of Technology
Abstract
Description
211 p.
Keywords
Calculus, Thesis
Citation
URI
http://hdl.handle.net/123456789/144980
 https://digitallibrary.punjab.gov.pk/handle/1/6072
Collections
New Mathematics