Skip to search formSkip to main contentSkip to account menu

Deductive lambda calculus

Deductive lambda calculus considers what happens when lambda terms are regarded as mathematical expressions. One interpretation of the untyped lambda… 
Wikipedia (opens in a new tab)

Related topics

Related topics

14 relations
Boolean algebraChurch encodingChurch–Rosser theoremCombinatory logic

Broader (1)

Lambda calculus

Papers overview

Semantic Scholar uses AI to extract papers important to this topic.
2014
2014
Context-aware intelligent service system for coal mine industry
2013
2013
AREION: Software effort estimation based on multiple regressions with adaptive recursive data partitioning
2012
2012
MALAYSIAN BATIK INDUSTRY: PROTECTING LOCAL BATIK DESIGN BY COPYRIGHT AND INDUSTRIAL DESIGN LAWS
The batik is one of many popular handicraft products. Malaysia, through its agency, Malaysian Handicraft, has stepped forward to… 
Review
2012
Review
2012
SOVEREIGN DEBT RESTRUCTURING : PROBLEMS AND PROSPECTS
This Article reviews the history of sovereign debt restructuring operations with private sector creditors with a view toward… 
2009
2009
Efficient evaluation of performance-based earthquake engineering equations
2005
2005
The case for international labour standards : a "Northern" perspective
2002
2002
Challenges for insulating materials in fusion applications
2001
2001
Frameworks to Support E-Business Growth Strategy
ABSTRACT It has been almost three decades since Nolan proposed his stages hypothesis. Since then several studies on the stages of… 
Review
2001
Review
2001
Latent groups and cross-level inferences
1998
1998
A Closer Look at Revocation and Key Compromise in Public Key Infrastructures
Over time, in order to improve functionality or efficiency, new features have been added to the basic framework of public key… 
By clicking accept or continuing to use the site, you agree to the terms outlined in our Privacy Policy (opens in a new tab), Terms of Service (opens in a new tab), and Dataset License (opens in a new tab)