This website requires javascript to properly function. Consider activating javascript to get access to all site functionality.
AI ALIGNMENT FORUM
AF
Login
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
0
Discussion
0