佢係generalize咗形式邏輯系統同公式計算之間嘅關連，係由發現美國數學家haskellcurry同埋邏輯師williamalvinhoward嘅。邏輯同運算呢個𪐀褦先至係curry同howard嘅貢獻，其他嘅同直觀主義邏輯有關嘅operationalinterpretation。