Hacker News new | ask | show | jobs
by gfour 4312 days ago
When talking about programming languages, "isomorphism" also brings to mind the Curry-Howard isomorphism between programs and proofs (http://en.wikipedia.org/wiki/Curry%E2%80%93Howard_isomorphis...)...