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