Deductive lambda calculus

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

Topic mentions per year

Topic mentions per year

1980-2018
02419802018

Papers overview

Semantic Scholar uses AI to extract papers important to this topic.
2017
2017
In the theory of programming languages, the use of proof assistants has become mainstream. It is considered good form to provide… (More)
Is this relevant?
2014
2014
Global positioning system reflectometry (GPS-R) is an emerging area of GPS applications in microwave remote sensing using… (More)
  • figure 1
  • figure 2
  • figure 3
  • table 1
  • figure 4
Is this relevant?
2014
2014
We study the parameterized complexity of a broad class of problems called “local graph partitioning problems” that includes the… (More)
  • figure 1
  • figure 2
  • figure 3
  • figure 4
Is this relevant?
2013
2013
Calibration parameters in deterministic computer experiments are those attributes that cannot be measured or available in… (More)
  • figure 1
  • figure 2
Is this relevant?
2007
2007
  • 2007
Most life history studies assume that demographic transition rates within a population are temporally and spatially invariant. A… (More)
  • table 4
Is this relevant?
2005
2005
This article reports how we used grounded theory to study whether and how system developers use Information Systems Development… (More)
Is this relevant?
2004
2004
This paper describes a qualitative research study that surfaced practitioner interpretations (assumptions, knowledge, and… (More)
  • table 2
  • table 1
  • table 3
Is this relevant?
2003
2003
The increase in maintenance of software and the increased amounts of reuse are having major positive impacts on the quality of… (More)
  • table 1
  • table 2
  • figure 1
  • table 3
  • table 4
Is this relevant?
2003
2003
  • Alexandre d’Aspremont
  • 2003
Using techniques developed in [Las02], we show that some minimum cardinality problems subject to linear inequalities can be… (More)
Is this relevant?
2002
2002
Considerable infonnation has been developed on floral induction and the flowering process in Citrus in the papers which precede… (More)
  • figure 1
  • figure 2
Is this relevant?