Propositions as Types - Computerphile
Computerphile
•
November 25, 2017
Computerphile
View ChannelAbout
Videos about computers & computer stuff. Supported by Jane Street - https://jane-st.co/computerphile Sister channel of Numberphile.
Latest Posts
You May Also Like
Learn & Master Type Theory
AI-recommended products based on this video
Loading...
Pishengfa DIY Stitch Book, Embroidery Stitch Book, DIY Sewing Books, EmbroideryS Books of Stitches, with 86/128 Sewing Tips for Beginners, Unique Embroidery Handmade Gifts (Grey)
(0)
$29.99
$6.99 delivery Dec 23, 2025 - Jan 2, 2026
700+ bought in past month
Loading...
15.6” Portable USB Type-C Monitor Touchscreen, 1080P FHD, IPS, 10-Point Touch External Screen with Premium Smart Cover Dual Speakers for Xbox,PS4,Switch,Laptop,PC,Phone,Mac,Surface
(253)
$132.04
FREE delivery Sun, Aug 10
Loading...
13.3” Portable USB Type-C Monitor Touchscreen, 1080P FHD, IPS, 100% DCI-P3, 10-Point Touch External Screen with Premium Smart Cover Dual Speakers for Laptop,PC,Mobile Phone,Mac,Surface,Xbox,PS4,Switch
(157)
$129.00$86.95
FREE delivery Sun, Aug 10
Loading...
Lg gram 16-inch +View Portable Monitor with USB Type-C, DCI-P3 99% (Typ.), Auto Rotate, Two-Way Supported Folio Cover
(36)
$328.99$263.19
FREE delivery Tue, Aug 12
Loading...
Acer PM161Q Bbmiuux 15.6" Full HD (1920 x 1080) Widescreen Portable IPS Display | AMD FreeSync Technology | 4ms (G to G) | 2 Speakers | USB Type-C Cable and Mini HDMI Cable
(149)
$157.04$119.76
FREE delivery Mon, Aug 11
100+ bought in past month
Loading...
![Anker USB C Cable, [2-Pack, 6 ft] Type C Charger Premium Nylon USB Cable, USB A to Type C Charging Cable Fast Charge for Samsung Galaxy S10 S10+ / Note 8, LG V20 and Other USB C Charger (Black)](https://m.media-amazon.com/images/I/71N7xhCJnoL._AC_UL960_FMwebp_QL65_.jpg)
Anker USB C Cable, [2-Pack, 6 ft] Type C Charger Premium Nylon USB Cable, USB A to Type C Charging Cable Fast Charge for Samsung Galaxy S10 S10+ / Note 8, LG V20 and Other USB C Charger (Black)
(103,365)
$13.49
5K+ bought in past month
Loading...
![INIU USB C Cable, [3 Pack, 6.6+6.6+1.6ft] 3.1A QC 3.0 Fast Charging Type C Cable, Nylon Braided USB A to USB C Phone Charger Data Cord for iPhone 16/15 Pro Max Samsung S23 S22 Note 10 LG V20 etc](https://m.media-amazon.com/images/I/71VrgZW7f1L._AC_UL960_FMwebp_QL65_.jpg)
INIU USB C Cable, [3 Pack, 6.6+6.6+1.6ft] 3.1A QC 3.0 Fast Charging Type C Cable, Nylon Braided USB A to USB C Phone Charger Data Cord for iPhone 16/15 Pro Max Samsung S23 S22 Note 10 LG V20 etc
(26,340)
$10.99
FREE delivery Wed, Aug 20 on your first order
5K+ bought in past month
Loading...
Anker USB C Charger Cable (6ft 100W, 2Pack), USB 2.0 Type C Fast Charging Cable for iPhone 15 / 15Pro / 15Plus / 15ProMax MacBook Pro 2020, iPad Pro 2020, iPad Air 4, Samsung Galaxy S23+/S23 Ultra ClimatePartner certified
(44,904)
$17.99
FREE delivery Wed, Aug 20 on your first order
6K+ bought in past month
Loading...
Best Seller
INIU 16FT Link Cable for Meta Oculus Quest 2/3/Pro and PC VR Gaming - USB 3.0 Type C Cable with Separate Charging Port for VR Headset Accessories
(3,575)
$29.69$23.74
FREE delivery Tue, Jun 17 on your first order
300+ bought in past month