When talking about programming languages, "isomorphism" also brings to mind the Curry-Howard isomorphism between programs and proofs (http://en.wikipedia.org/wi

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_isomorphism http://en.wikipedia.org/wiki/Curry%E2%80%93Howard_isomorphis...)...