itarticle basic computational type theorybasic computational type theory “Axiom” (Theorm) of Choice Natural Numbers mathbb{N} Identity Type Function Extensionality / Principle of Extensionality 0
itarticle cassandra CQLSHType SystemPartition keyClustering keyMental modelStatic ColumnTIMEUUID Type System Partition key Clustering key Mental model Static Column TIMEUUID 0