这是1958版组合子逻辑中，Curry和Feys对柯霍同构的原始描述，当时用了两个词，一个是analogy，另一个是F-P transformation。整理Curry的手稿遗产的人是他的得意门生Seldin，根据Seldin的描述，最初发现这种逻辑特性可以追溯至1930年以前，手稿上有写。

整体来说Curry没有把这种同构当回事。时至今日也没有同构的严格证明。而且Curry在书里使用⊃也不严格，因为直觉逻辑和经典逻辑的蕴含不是一回事，不能拿一个P组合子包打天下，想从F组合子里直接分离出Pαβ表达式也是不可能的。但我们一定能够在一个简单的形式化里找到严格的同构关系，抽象代数意义上的，关键就是先要找出直觉逻辑或构造逻辑的蕴含怎么严格定义，或提取。在这里，直觉逻辑可能和构造逻辑还得区分一下。