Propositions as Types
Hosted By
Michel R.
Details
Michel Rijnders presents "Propositions as Types"; details to follow.
Find the paper here: http://homepages.inf.ed.ac.uk/wadler/papers/propositions-as-types/propositions-as-types.pdf
Papers We Love Amsterdam
See more events
Container Solutions
De Ruijterkade 143 · Amsterdam
Propositions as Types