Florian Rabe Explores HOL, Dependent Types & Subtyping 🔍
Discover Florian Rabe's insights into Higher-Order Logic (HOL), dependent types, and subtyping, unlocking advanced techniques in type theory and formal verification.
Hausdorff Center for Mathematics
200 views • Jun 25, 2024
Tags and Topics
Browse our collection to discover more content in these categories.
Video Information
Views
200
Likes
7
Duration
33:21
Published
Jun 25, 2024