This website requires javascript to properly function. Consider activating javascript to get access to all site functionality.
AI ALIGNMENT FORUM
AF
Login
1113
Wikitags
Type theory — AI Alignment Forum
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