Type theory

type_theory.json

https://arbital.com/p/type_theory

by Jack Gallagher May 25 2016 updated May 25 2016

Modern foundations for formal mathematics.

Index
Type theory

Mathematics
…

Hub page for type theory explanations

Tagged

Stub, Work in progress

All Creators

Alexei Andreev, Jack Gallagher

Related

Programming in Dependent Type Theory Working with simple types in Lean - Jack Gallagher

Reverse Related

Stub This page only gives a very brief overview of the topic. If you're able to, please help expand or improve it! - Eliezer Yudkowsky
Work in progress This page is being actively worked on by an editor. Check with them before making major changes. - Eliezer Yudkowsky

Children

Programming in Dependent Type Theory Working with simple types in Lean - Jack Gallagher