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.
Highly Cited
2008
Highly Cited
2008
Grammatical Evolution: A Steady State approach
We describe a Genetic Algorithm that can evolve complete programs. Using a variable length linear genome to govern the mapping of… 
2007
2007
Parsing Expression Grammar as a Primitive Recursive-Descent Parser with Backtracking
Two recent developments in the field of formal languages are Parsing Expression Grammar (PEG) and packrat parsing. The PEG… 
Highly Cited
2003
Highly Cited
2003
Comparing the effects of resource enrichment and grazing on a bacterioplankton community of a meso-eutrophic reservoir
We examined changes in a microbial community in reaction to shifts in predation pressure and resources in a meso-eutrophic… 
Highly Cited
2000
Highly Cited
2000
Dominance of ciliate grazing on bacteria during spring in a shallow eutrophic lake
The objective of this study was to investigate the relationships between bacterioplank- ton biomass and activity and protistan… 
2000
2000
Bacteria–flagellate coupling in microcosm experiments in the Central Atlantic Ocean
Highly Cited
2000
Highly Cited
2000
An Approach to Active Spatial Data Mining Based on Statistical Information
Spatial data mining presents new challenges due to the large size of spatial data, the complexity of spatial data types, and the… 
1995
1995
Assessment of biological nitrogen fixation
The four commonly used methods for measuring biological nitrogen fixation (BNF) in plants are: the total nitrogen difference (TND… 
Highly Cited
1989
Highly Cited
1989
Heteroclinic cycles involving periodic solutions in mode interactions with O(2) symmetry
Synopsis In this paper we show that in O(2) symmetric systems, structurally stable, asymptoticallystable, heteroclinic cycles can… 
Highly Cited
1985
Highly Cited
1985
A Normal Form For Entity-Relationship Diagrams
In this paw=, a normal form for entity-relationship diagrams and the objectives for such a normal form are presented. A normal… 
Review
1982
Review
1982
Review of "The Ada programming language by Ian C. Pyle", Prentice-Hall, Inc., Englewood Cliffs, N.J., 1981.
REVIEW: 'llfis book is intended to present the Defense Department's new hmguage, Ada, to practicing programmers in its entirety… 
By clicking accept or continuing to use the site, you agree to the terms outlined in our Privacy Policy (opens in a new tab), Terms of Service (opens in a new tab), and Dataset License (opens in a new tab)