{"version":"1.0","type":"link","title":"Dependent type - Newikis","description":"In computer science and logic, a dependent type is a type whose definition depends on a value. It is an overlapping feature of type theory and type systems. In intuitionistic type theory, dependent types are used to encode logic's quantifiers like \"for all\" and \"there exists\". In functional…","provider_name":"Newikis","provider_url":"https://newikis.com","cache_age":86400}