語言選擇:
免費網上英漢字典|3Dict

head normalisation theorem

資料來源 : Free On-Line Dictionary of Computing

head normalisation theorem
     
        Under the typed lambda-calculus, beta/delta reduction of the
        left-most redex (normal order reduction) is guaranteed to
        terminate with a head normal form if one exists.  See also
        Church-Rosser theorem.
依字母排序 : 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