Skip to search form
Skip to main content
Skip to account menu
Semantic Scholar
Semantic Scholar's Logo
Search 238,263,064 papers from all fields of science
Search
Sign In
Create Free Account
Beta normal form
Known as:
HNF
, Normal form
, Beta redex
Expand
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…
Expand
Wikipedia
(opens in a new tab)
Create Alert
Alert
Related topics
Related topics
8 relations
Church–Rosser theorem
Combinatory logic
Computable topology
Director string
Expand
Broader (1)
Lambda calculus
Papers overview
Semantic Scholar uses AI to extract papers important to this topic.
2003
2003
Active flagellates grazing on prokaryotes in high salinity waters of a solar saltern
Jong Soo Park
,
Heejung Kim
,
D. Choi
,
B. Cho
2003
Corpus ID: 51947558
Heterotrophic nanoflagellates (HNF) are known to be active grazers of prokaryotes and frequently major agents of prokaryotic…
Expand
2000
2000
Gauges and Gauge Transformations in 3-D Reconstruction from a Sequence of Images
K. Kanatani
,
Daniel Morris
2000
Corpus ID: 14920672
This paper presents a consistent theory for describing indeterminacy and uncertainty of 3-D reconstruction from a sequence of…
Expand
1999
1999
A general method to prove the normalization theorem for first and second order typed λ-calculi
1999
Corpus ID: 260604515
1999
1999
A necessary condition and a backstepping observer for nonlinear fault detection
De Persis
1999
Corpus ID: 56322920
A formulation of the fundamental problem of residual generation for fault detection in nonlinear systems based on the concept of…
Expand
1995
1995
Nitrogen fixation response of stem- and root-nodulating Sesbania species to flooding and mineral nitrogen
M. Becker
,
T. George
Plant and Soil
1995
Corpus ID: 23802317
The flood adapted green manure legumes Sesbania cannabina and S. rostrata differ in their nodulation, the former nodulating on…
Expand
Review
1994
Review
1994
Environmental gamma-ray spectrometry: simulation of absolute calibration of in-situ and airborne spectrometers for natural and anthropogenic sources
J. D. Allyson
1994
Corpus ID: 109249837
The purpose of this work is to investigate experimentally and theoretically a range of problems encountered in calibration of…
Expand
1994
1994
Adaptive Software: Automatic Navigation Through Partially Specified Data Structures
Cun Xiao
1994
Corpus ID: 58870667
Software growth always starts from a set of incomplete, imprecise, and sometimes selfcontradicting requirements, and endures a…
Expand
1990
1990
FORMAL SEMANTICS FOR VISUAL SPECIFICATION OF SECURITY
M. Maimone
,
J. D. Tygar
,
Jeannette M. Wing
1990
Corpus ID: 59672513
Visual languages, like all languages, need a formal semantics. This chapter presents an outline of a visual language and gives a…
Expand
1984
1984
Functional programming and logical programming for the telegram analysis problem
K. Torii
,
Yuji Sugiyama
,
Yoshitomi Morisawa
,
T. Kasami
International Conference on Software Engineering
1984
Corpus ID: 166791
The telegram analysis problem posed by P. Henderson and R.A. Snowdon has been repeatedly taken into account. This paper adds yet…
Expand
1976
1976
Piecewise linear functions with almost all points eventually periodic
M. Nathanson
1976
Corpus ID: 120403798
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…
Expand