Unlock the Power of Proofs: Intro to Synthetic Computability Theory 📚
Join Ingo Blechschmidt's minicourse at the University of Verona to learn how to extract programs from proofs. Explore the fascinating world of synthetic computability theory with detailed course notes: https://rt.quasicoherent.io/
Logic Seminar Verona
78 views • Jun 17, 2024
About this video
Minicourse by Ingo Blechschmidt on extracting programs from proofs at the University of Verona
Course notes: https://rt.quasicoherent.io/
Course notes: https://rt.quasicoherent.io/
Tags and Topics
Browse our collection to discover more content in these categories.
Video Information
Views
78
Likes
5
Duration
01:19:01
Published
Jun 17, 2024
Related Trending Topics
LIVE TRENDSRelated trending topics. Click any trend to explore more videos.
Trending Now