This website requires javascript to properly function. Consider activating javascript to get access to all site functionality.
LESSWRONG
Wikitags
LW
Login
Discussion
0
Type theory
gallabytes
Type theory
Discussion
0
Written by
gallabytes
last updated
26th May 2016
Summaries
Cancel
Submit
Hub page for type theory explanations
Parents:
Mathematics
Children:
Programming in Dependent Type Theory
Parents
Mathematics
Children
Programming in Dependent Type Theory