Hacker Newsnew | past | comments | ask | show | jobs | submitlogin

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...)...


Guidelines | FAQ | Lists | API | Security | Legal | Apply to YC | Contact

Search: