Skip to main content
Communities & Collections
All of DSpace
Statistics
English
العربية
বাংলা
Català
Čeština
Deutsch
Ελληνικά
Español
Suomi
Français
Gàidhlig
हिंदी
Magyar
Italiano
Қазақ
Latviešu
Nederlands
Polski
Português
Português do Brasil
Srpski (lat)
Српски
Svenska
Türkçe
Yкраї́нська
Tiếng Việt
Log In
Log in
New user? Click here to register.
Have you forgotten your password?
Home
08. Science & Technology
Life Sciences
New Mathematics
A Constructive Semantics of the Lambda Calculus
A Constructive Semantics of the Lambda Calculus
Files
A Constructive Semantics Of The Lambda Calculus.pdf
(6.03 MB)
Date
1994
Authors
A Constructive Semantics Of The Lambda Calculus
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
Endorsement
Review
Supplemented By
Referenced By
Full item page
