YoVDO

Polynomial Functors Formalization Report

Offered By: Hausdorff Center for Mathematics via YouTube

Tags

Category Theory Courses Mathematical logic Courses Functional Programming Courses Formal Verification Courses Type Theory Courses

Course Description

Overview

Save Big on Coursera Plus. 7,000+ courses at $160 off. Limited Time Only!
Explore a comprehensive report on the formalization of polynomial functors presented by Sina Hazratpour from the Hausdorff Center for Mathematics. Delve into the intricate mathematical concepts and theoretical foundations surrounding polynomial functors, gaining insights into their formalization process and applications. Learn about the challenges faced during the formalization and the innovative approaches used to overcome them. Discover the implications of this work for various fields of mathematics and computer science, including category theory, type theory, and formal verification. Engage with advanced mathematical ideas and cutting-edge research in this 48-minute presentation, suitable for graduate students, researchers, and professionals interested in the intersection of category theory, formal methods, and functional programming.

Syllabus

Sina Hazratpour: Report on Polynomial Functors Formalization


Taught by

Hausdorff Center for Mathematics

Related Courses

SPARK 2014
AdaCore via Independent
Automated Reasoning: Symbolic Model Checking
EIT Digital via Coursera
Software Testing and Verification
University System of Maryland via edX
Haskell for Imperative Programmers
YouTube
Model Checking and Temporal Logic - E. Allen Emerson's Turing Award Lecture
Association for Computing Machinery (ACM) via YouTube