@dentaku Schönfinkel war sicher wichtig aber nicht direkt beteiligt an der Curry-Howard-Lambek correspondence, oder?