FAQ

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

Related topics

Related topics

13 relations
Boolean algebraChurch encodingChurch–Rosser theoremCombinatory logic
(More)

Related mentions per year

Related mentions per year

1936-2018
19401960198020002020
Deductive lambda calculus
Lambda calculus
Functional programming
Universal quantification
Boolean algebra
Universal instantiation

Papers overview

Semantic Scholar uses AI to extract papers important to this topic.
2017
2017
Synthetic topology in Homotopy Type Theory for probabilistic programming
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
GPS-R L1 interference signal processing for soil moisture estimation: an experimental study
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
Multi-parameter Analysis for Local Graph Partitioning Problems: Using Greediness for Parameterization
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
A THEORETICAL FRAMEWORK FOR CALIBRATION IN COMPUTER MODELS: PARAMETRIZATION, ESTIMATION AND CONVERGENCE PROPERTIES By
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
Fine-scale Spatial and Temporal Variation in the Demography of a Perennial Bunchgrass'
  • 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
Grounded Theory Applied - Studying Information Systems Development Methodologies in Practice
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
Applications integration: is it always desirable?
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
Quality Impacts of Clandestine Common Coupling
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
A semidefinite representation for some minimum cardinality problems
  • 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
Pollination and Fruit Set: Pollination Requirement
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?