Cardinality is a database attribute. As business databases grow larger -- often with more than a billion entries -- they require more sophisticated algorithms for database management to remain ...

This document provides a quick overview of "type theory", and specifically, how we use it to reason about data and design in IPLD. We take "type theory" to mean primarily: a way of reasoning about ...

the difficult problem of how to quantify biodiversity the concept of the cardinality of a metric space. The connection is provided by that important and subtle notion, entropy. The ideas I’ll present ...