Keep up to date with every new upload!

Join free & follow paperswelove
Share
  • 13
  • 3 years ago
Michael Bernstein on Propositions as Types

Michael Bernstein on Propositions as Types

Meetup: http://bit.ly/1MXU3fT
Paper: http://bit.ly/QkZ5K1 +
Slides: http://bit.ly/1FcrMM3
Video: http://bit.ly/1Kz9ISt
--------------------------------------------------------------------------------------------------------
Sponsored by Two Sigma (@twosigma), The Ladders (@TheLaddersDev).
--------------------------------------------------------------------------------------------------------

Description
------------------
I’ll (Michael) be talking about Philip Wadler’s paper "Propositions as Types," which starts out with the following sentence:

"Powerful insights arise from linking two fields of study previously thought separate."

And just keeps on going from there. In less than 9 full pages, Wadler assembles an exuberant, hilarious take on the deep, meaningful connections between mathematics, philosophy, and computer science.

I’ll also be showing off some work from Daniel P. Friedman and Carl Eastlund’s recent book "The Little Prover," which implements a small ...

Comments