Crowdsourcing & CrowdfundingCovers the origins of ideas, crowdsourcing, successful conditions, and real-world examples like Waze and the Netflix Prize.
Types in Lambda CalculusCovers types in lambda calculus, including defining types, specifying rules, and proving soundness.