News for hackers. Stuff that matters.

A comment on Physics, Topology, Logic and Computation: A Rosetta Stone (2009) [pdf].

Re:Physics, Topology, Logic and Computation: A Rosetta Stone... by justinjlynn on Friday August 19, 2016 @04:26AM (#12318660)
If you like this Propositions As Types by Wadler is also an excellent read. In fact, the author cites PTLC: Rosetta.

http://m.cacm.acm.org/magazines/2015/12/194626-propositions-...

[ Parent | on HN ]

There are no comments on this comment yet.