Strange Loop videos by Philip Wadler Posted on 2023-05-10 [Wednesday] by Jay Jay Two presentations given at Strange Loop by Philip Wadler. “Categories for the Working Hacker” by Philip Wadler “Propositions as Types” by Philip Wadler
