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