Simple Science

Cutting edge science explained simply

Cutting edge science explained simply

Ulrik Buchholtz

Logic in Computer Science Homotopy Type Theory: A New Framework in Mathematics

Discover the expanding field of Homotopy Type Theory and its implications.

2025-08-28T03:28:57+00:00 ― 5 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