WHNF


Also found in: Encyclopedia.
AcronymDefinition
WHNFWeak Head Normal Form (lambda calculus)
References in periodicals archive ?
(56.) Allen, interview, December 4, 2009; Anne Wexler, letter to Jimmy Mien, December 29, 1978, Folder "Southern Baptist Convention," WHNF, WHCE JCL.
(57.) Bill Ayers, memo to Anne Wexler, March 29, 1979, Folder "Graham, Billy," WHNF, WH C F, JCL.
(68.) Memo, Talking-Points, Meeting with Newly-Elected Officers of SBC, August 7, 1980, Folder "Southern Baptist Convention," WHNF, WHCF, JCL; Joyce Rogers, letter to Rosalynn Carter, August 24, 1980, Folder "Southern Baptist Convention," WHNF, WHCE JCL.
(75.) Tom Lester, letter to Anne Wexler, July 2, 1980, Box 9, Public Relations files, WHSF, JCL; Dewey Burton, letter to Jimmy Carter, August 28, 1980, Folder "Southern Baptist Convention," WHNE WHCE JCL; Ben Chew, letter to Adrian Rogers, September 27, 1980, Folder "Southern Baptist Convention," WHNE WHCF, JCL; Carter accepted the SBC's Christian Service in Communications Award; William Junker, letter to Fran Voorde, March 26, 1980, Folder "Southern Baptist Convention," WHNF, WHCF, JCL; Robert Dunn, letter to William Junker, April 14, 1980, Folder "Southern Baptist Convention," WHNF, WHCF, JCL; Resolutions, Southern Baptist Convention, June 10-12, 1980, St.
Case: (any, Lam), (any, App), (any, Let), (any, Con), (any, Case) (any, SCC), and (any, Var(whnf)).
Now, [MATHEMATICAL EXPRESSION NOT REPRODUCIBLE IN ASCII] by Var (whnf) and [MATHEMATICAL EXPRESSION NOT REPRODUCIBLE IN ASCII] by Var(whnf) and [MATHEMATICAL EXPRESSION NOT REPRODUCIBLE IN ASCII] and [MATHEMATICAL EXPRESSION NOT REPRODUCIBLE IN ASCII].
But the Var(whnf) rule states that [MATHEMATICAL EXPRESSION NOT REPRODUCIBLE IN ASCII] with [MATHEMATICAL EXPRESSION NOT REPRODUCIBLE IN ASCII] and [[Theta].sub.1] = [[Theta].sub.0] + {[cc.sub.0] [right arrow] v} as required.