Michael Bernstein on Propositions as Types | Papers We Love - discu.eu

Hacker News

On Propositions as Types [video] http://paperswelove.org/2015/video/michael-bernstein-propositions-as-types/ 3 comments 1/9/2015

Linked pages

The Little Prover (The MIT Press): Friedman, Daniel P., Eastlund, Carl, Bibby, Duane + Free Shipping http://www.amazon.com/The-Little-Prover-Daniel-Friedman/dp/0262527952/ref=pd_sim_14_3?ie=UTF8&refRID=1Y02A5CBTER2KP03NW1T 0 comments

Related searches:

Search whole site: site:paperswelove.org

Search title: Michael Bernstein on Propositions as Types | Papers We Love

See how to search.

Submit link to: