Skip to search formSkip to main contentSkip to account menu

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… 
Wikipedia (opens in a new tab)

Related topics

Related topics

8 relations
Church–Rosser theoremCombinatory logicComputable topologyDirector string

Broader (1)

Lambda calculus

Papers overview

Semantic Scholar uses AI to extract papers important to this topic.
2011
2011
Distribution of Synechococcus and Prochlorococcus in the central Adriatic Sea
Photosynthetic picoplankton, represented primarily by the genera Synechococcus and Prochlorococcus, are major contributors of… 
2009
2009
On closed 3-braids with unknotting number one
We prove that if an alternating 3-braid knot has unknotting number one, then there must exist an unknotting crossing in any… 
2007
2007
Sub-harmonic resonant solutions of a harmonically excited dry friction oscillator
Special sub-harmonic solutions of a harmonically forced dry-friction oscillator are analysed. Although the typical non-sticking… 
2003
2003
Influence of urea on biological N2 fixation and N transfer from Azolla intercropped with rice
The N2 fixed by Azolla before and after urea application during the rice cycle, the mineralisation of Azolla-N as well as its… 
1999
1999
A necessary condition and a backstepping observer for nonlinear fault detection
A formulation of the fundamental problem of residual generation for fault detection in nonlinear systems based on the concept of… 
1998
1998
REACTION AND FLOW VARIANTS/INVARIANTS FOR THE ANALYSIS OF CHEMICAL REACTION DATA
This dissertation is concerned with the development of a methodology and appropriate tools for the investigation of chemical… 
1995
1995
Nitrogen fixation response of stem- and root-nodulating Sesbania species to flooding and mineral nitrogen
The flood adapted green manure legumes Sesbania cannabina and S. rostrata differ in their nodulation, the former nodulating on… 
1984
1984
Rewriting systems on FP expressions that reduce the number of sequences they yield
In this paper, we are interested in the application of program transformation for minimizing the number of intermediary sequences… 
1983
1983
The user's perception of the interaction language: A two-level model
Users perceive consistency and inconsistency in syntax, and family resemblances among syntactic constructions. These factors are… 
1976
1976
Piecewise linear functions with almost all points eventually periodic
Let f: [0, 1] -* [0, 1] be continuous, and let fP denote the pth iterate of f. Li and Yorke [2] proved that if there is a point x…