3 ms·
The theorem reminds me of William Lawvere's "Adjointness in foundations". Formulas/programs are in an adjoint relationship with their executions. The fact that
by adamnemecek 7y ago
The theorem reminds me of William Lawvere's "Adjointness in foundations". Formulas/programs are in an adjoint relationship with their executions. The fact that they are adjoints is a big deal.
- theWheez 7y agoIs that related to the Curry-Howard isomorphism?