Simple Science

Cutting edge science explained simply

Cutting edge science explained simply

Daniel Gratzer

Logic in Computer Science Homotopy Type Theory: A New Perspective on Sets

Discover how Homotopy Type Theory transforms our view of sets and types.

2025-08-23T22:32:54+00:00 ― 6 min read

Logic in Computer Science Introducing Directed Univalence in Type Theory

A new concept reshaping our view of types in mathematics and programming.

2025-07-06T10:31:42+00:00 ― 6 min read