	Словари, Словарь Dictionary
	Словари, Словарь Dictionary Online computer dictionary - Свободный компьютерный английский словарь О сайте 10 самых Словари Обратная связь

! & ( * , - . / 0 1 2 3 4 5 6 7 8 9 : ; < = @ %
A B C D E F G H I J K L M N O P Q R S T U V W X Y Z [ \ { ~

H H. H/ HA HB HC HD HE HF HH HI HK HL HM HN HO HP HQ HR HS HT HU HV HY

head normal form

head normal form (HNF) A lambda expression is in head normal form if its top level is either a variable, a data value, a built-in function applied to too few arguments or a lambda abstraction whose body is not reducible. I.e. the top level is neither a redex nor a lambda abstraction with a reducible body. An expression in HNF may contain redexes in argument postions whereas a normal form may not. See also Weak head normal form.

на заглавную

О сайте • 10 самых • Словари • Обратная связь

к началу страницы

XHTML | CSS

1.8.11