Beta normal form

Known as: HNF, Normal form, Beta redex 
In the lambda calculus, a term is in beta normal form if no beta reduction is possible. A term is in beta-eta normal form if neither a beta reduction… (More)
Wikipedia

Papers overview

Semantic Scholar uses AI to extract papers important to this topic.
Highly Cited
2015
Highly Cited
2015
The impressive gains in performance obtained using deep neural networks (DNNs) for automatic speech recognition (ASR) have… (More)
  • figure 1
  • table IV
  • table II
  • table V
  • table VI
Is this relevant?
Highly Cited
2007
Highly Cited
2007
The normal form x2+y2 = a2+a2x2y2 for elliptic curves simplifies formulas in the theory of elliptic curves and functions. Its… (More)
  • figure 1
  • table 1
Is this relevant?
Highly Cited
2006
Highly Cited
2006
This study examines the potential, magnitude, and causes of enhanced biological N2 fixation (BNF) by common beans (Phaseolus… (More)
  • table 1
  • figure 1
  • figure 2
  • table 2
  • table 3
Is this relevant?
Highly Cited
2004
Highly Cited
2004
A fundamental shift has taken place in agricultural research and world food production. In the past, the principal driving force… (More)
  • table 1
  • figure I
  • table 3
  • table 4
  • table 5
Is this relevant?
Highly Cited
2004
Highly Cited
2004
15N isotope and N balance studies performed over the last few years have shown that several Brazilian varieties of sugarcane are… (More)
  • table 1
  • table 2
  • table 3
  • table 4
  • table 5
Is this relevant?
Highly Cited
2004
Highly Cited
2004
Researchers and practitioners are still trying to find effective ways to model and test Web applications. This paper proposes a… (More)
  • table 1
  • figure 1
  • figure 2
  • table 2
  • figure 3
Is this relevant?
Highly Cited
2003
Highly Cited
2003
T chemical elements nitrogen (N), carbon (C), phosphorus (P), oxygen (O), and sulfur (S) are all necessary for life.With one… (More)
Is this relevant?
Highly Cited
1997
Highly Cited
1997
Internet technical specifications often need to define a formal syntax. Over the years, a modified version of Backus-Naur Form… (More)
Is this relevant?
Highly Cited
1994
Highly Cited
1994
Structured documents (e.g., SGML) can benefit a lot from database support and more specifically from object-oriented database… (More)
  • figure 1
  • figure 2
  • figure 3
Is this relevant?
Highly Cited
1985
Highly Cited
1985
0~12 is a functional programming language with an underlying formal semantics that is based upon equational logic, and an… (More)
Is this relevant?