3 ms·
The results you refer to are probably Curry-Howard correspondence, and Curry-Howard-Lambek correspondence.
by maurycy 15y ago
The results you refer to are probably Curry-Howard correspondence, and Curry-Howard-Lambek correspondence.
loading thread…