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

Papers overview

Semantic Scholar uses AI to extract papers important to this topic.
Highly Cited
2009
Highly Cited
2009
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
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
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
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
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
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
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
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 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
This is a paper presented in two parts dealing respectively with error analysis and adaptive processes applied to finite element… Expand
Is this relevant?