Craig Howard

克雷格·林肯（英語：Craig Lincoln，1950年10月7日—），美国男子跳水运动员。他曾代表美国参加1972年夏季奥林匹克运动会跳水比赛，获得一枚铜牌。他也曾在1971年泛美运动会获得一枚银牌。 Craig Howard LINCOLN. International Olympic Committee

（原始内容存档于2021-06-14）.  William Craig, Historian, 68 - The New York Times. [2021-06-14]. （原始内容存档于2019-09-28）.  Collection - Howard Gotlieb Archival Research

cinereus. The IUCN Red List of Threatened Species 2004. [2009-09-14].  Craig Howard. Plethodon cinereus - eastern red-backed salamander. Animal Diversity

柯里-霍華德对应（英語：Curry-Howard correspondence）是在计算机程序和数学证明之间的紧密联系；这种对应也叫做柯里-霍華德同构、公式为类型对应或命题为类型对应。这是对形式逻辑系统和数学运算之间符号的相似性的推广。它被认为是由美国数学家哈斯凯尔·柯里和逻辑学家威廉·阿尔文·霍瓦德（William

1969年11月2日，在費城舉行的東岸區同志組織大會（ERCHO）上，克雷格·羅德威爾（英语：Craig Rodwell）（Craig Rodwell）、弗瑞德·沙間特（Fred Sargeant）、艾倫·布洛伊狄（Ellen Broidy），和琳達·羅德斯（Linda