3 ms·
Philip Wadler's 'Propositions as Types': https://youtu.be/IOiZatlZtGU https://youtu.be/IOiZatlZtGU Bonus: that was the talk that introduced Lambdaman to the wo
by yawaramin 9y ago
Philip Wadler's 'Propositions as Types': https://youtu.be/IOiZatlZtGU https://youtu.be/IOiZatlZtGU
Bonus: that was the talk that introduced Lambdaman to the world.