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
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… 
2010
2010
Context Matching for Realizing Cognitive Wireless Network Segments
Beyond 3rd Generation (B3G) wireless communication systems are comprised from different Radio Access Technologies (RATs) in order… 
2010
2010
Collaboration via online discussion forums: issues and approaches
Asynchronous communication tools, such as discussion forums, have benefits in allowing people to communicate when it is most… 
2009
2009
Efficient evaluation of performance-based earthquake engineering equations
2005
2005
The case for international labour standards : a "Northern" perspective
2005
2005
Uncovered Interest Rate Parity and the Expectations Hypothesis of the Term Structure: Empirical Results for the U.S. and Europe
A system of U.S. and euro area short- and long-term interest rates is analyzed. According to the expectations hypothesis of the… 
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
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)