pacjo@lemmy.dbzer0.com to Piracy: ꜱᴀɪʟ ᴛʜᴇ ʜɪɢʜ ꜱᴇᴀꜱ@lemmy.dbzer0.comEnglish · 2 years agoI absolutely love VideoLAN's stance regarding patentslemmy.dbzer0.comimagemessage-square68linkfedilinkarrow-up11.04Karrow-down111
arrow-up11.03Karrow-down1imageI absolutely love VideoLAN's stance regarding patentslemmy.dbzer0.compacjo@lemmy.dbzer0.com to Piracy: ꜱᴀɪʟ ᴛʜᴇ ʜɪɢʜ ꜱᴇᴀꜱ@lemmy.dbzer0.comEnglish · 2 years agomessage-square68linkfedilink
minus-squarehglman@lemmy.mllinkfedilinkEnglisharrow-up14arrow-down1·2 years agoNo, the proof - program correspondence is in both directions.
minus-squareGeniusIsme@lemmy.worldlinkfedilinkEnglisharrow-up3arrow-down5·2 years agoCorrespondence is quite a weak relation. Very far from one being another.
minus-squarelad@programming.devlinkfedilinkEnglisharrow-up2·2 years agoI’d say if you ask a mathematician, they would disagree with you. But maybe that depends on how far they have gone into maths from common sense
minus-squareMachineFab812@discuss.tchncs.decakelinkfedilinkEnglisharrow-up1·2 years agoCorrespondence is not correlation.
minus-squarenakal@kbin.sociallinkfedilinkarrow-up1·2 years agoThat’s why it’s also called Curry-Howard isomorphism.
No, the proof - program correspondence is in both directions.
Correspondence is quite a weak relation. Very far from one being another.
I’d say if you ask a mathematician, they would disagree with you. But maybe that depends on how far they have gone into maths from common sense
Correspondence is not correlation.
That’s why it’s also called Curry-Howard isomorphism.