7 ms·
> Curry-Howard-Correspondance Did you mean the Church-Turing thesis? (I still don’t really see the connection though….)
by BalinKing 4y ago
> Curry-Howard-Correspondance
Did you mean the Church-Turing thesis? (I still don’t really see the connection though….)