英语词汇“typed lambda-calculus”的翻译、意思、用法、释义-英汉双解词典-注文网

单词	typed lambda-calculus
释义	typed lambda-calculus 具型式之 λ 演算
随便看	cytidine-5'-monophosphate cytidine-5'-triphosphate cytidine 5'-triphosphate cytidine(C) cytidine (C,Cyd) cytidine deaminase CytidineDiphosphate cytidine diphosphate cytidine diphosphate (CDP) cytidine diphosphate ethanolamine cytidine diphosphocholine cytidine monophosphate cytidine monophosphate (CMP) cytidine nucleotide cytidine-phosphate cytidines cytidine triphosphate cytidine triphosphate (CTP) cytidine-uridine-guanidine cytidyl cytidylate cytidyl-cytidyl-adenyl cytidylic cytidylic acid cytidylic acid (CMP) 贤者用之，则天下治；不肖者用之，则天下乱。贤者用之，则天下治；不贤者用之，则天下乱贤者能节之，不使过度；愚者纵之，多至失所贤者自贤，愚者自愚贤者进以显荣，罢者退而劳力。贤者进则愚者退矣，曲者用则直者隐矣贤者隐，则人不安；人不安，国将危矣。贤者顺理而安行。贤者，君子也；佞人，小人也。君子与小人本殊操异行，取舍不同。贤者，民之所以生也，而蔽之，是绝民也。 09222 09223 09224 09225 09226 09227 09228 09229 09230 09231