Skip to search formSkip to main content
You are currently offline. Some features of the site may not work correctly.

Deductive lambda calculus

Deductive lambda calculus considers what happens when lambda terms are regarded as mathematical expressions. One interpretation of the untyped lambda… Expand
Wikipedia

Related topics

Related topics

14 relations
Boolean algebraChurch encodingChurch–Rosser theoremCombinatory logic
Expand

Broader (1)

Lambda calculus

Papers overview

Semantic Scholar uses AI to extract papers important to this topic.
Highly Cited
2009
Highly Cited
2009
Credit Default Swaps and the Credit Crisis
Many observers have argued that credit default swaps contributed significantly to the credit crisis. Of particular concern to… Expand
Is this relevant?
Highly Cited
2005
Highly Cited
2005
Developing Indicators for Comprehensive and Sustainable Transport Planning
This paper discusses the selection of indicators for comprehensive and sustainable transportation planning. It discusses the… Expand
  • table 1
  • table 2
  • table 3
Is this relevant?
Highly Cited
2005
Highly Cited
2005
Democracy, Volatility, and Economic Development
Growth stability is an important objective - because development requires sustained increases in income, because volatility is… Expand
Is this relevant?
Highly Cited
2004
Highly Cited
2004
Towards information security behavioural compliance
Auditing has always played an important role in the business environment. With the introduction of information technology and the… Expand
Is this relevant?
Highly Cited
2001
Highly Cited
2001
Towards a precise definition of the OMG/MDA framework
We are currently witnessing an important paradigm shift in information system construction, namely the move from object and… Expand
  • figure 2
  • figure 3
  • figure 1
  • figure 4
  • figure 5
Is this relevant?
Highly Cited
2001
Highly Cited
2001
Interpretation of Rank Histograms for Verifying Ensemble Forecasts
Abstract Rank histograms are a tool for evaluating ensemble forecasts. They are useful for determining the reliability of… Expand
  • figure 1
  • figure 2
  • figure 3
  • figure 4
  • figure 6
Is this relevant?
Highly Cited
1999
Highly Cited
1999
Differential pulse-position modulation for power-efficient optical communication
We examine the use of differential pulse-position modulation (DPPM) for optical communication systems using intensity modulation… Expand
  • figure 1
  • table I
  • figure 2
  • figure 3
  • figure 4
Is this relevant?
Highly Cited
1996
Highly Cited
1996
Early Quality Prediction: A Case Study in Telecommunications
Predicting the quality of modules lets developers focus on potential problems and make improvements earlier in development, when… Expand
Is this relevant?
Highly Cited
1989
Highly Cited
1989
Boundary Elements: An Introductory Course
Boundary concepts are introduced and immediately applied in simple - but useful - computer codes. These codes facilitate the… Expand
Is this relevant?
Highly Cited
1983
Highly Cited
1983
A posteriori error analysis and adaptive processes in the finite element method: Part I—error analysis
This is a paper presented in two parts dealing respectively with error analysis and adaptive processes applied to finite element… Expand
Is this relevant?
By clicking accept or continuing to use the site, you agree to the terms outlined in our Privacy Policy, Terms of Service, and Dataset License
ACCEPT & CONTINUE