In the type theory literature, it is rather the other way: Void is synonymous wi...

thetwiceler on Dec 9, 2014 | parent | context | favorite | on: Type systems and logic

In the type theory literature, it is rather the other way: Void is synonymous with the bottom type. I don't know who has first claim to the name "void", but from the type theory perspective, it is C, Java, et. al. who have it backwards.