Get the latest tech news

Dependent Types: Universes, or types of types


None

Get the Android app

Or read this on Hacker News

Read more on:

Photo of universes

universes

Photo of dependent types

dependent types

Related news:

News photo

MCP tools with dependent types

News photo

The Lisp in the Cellar: Dependent types that live upstairs [pdf]

News photo

Open and closed universes (2021)