Principal type
id:
principal-type-298-10007057
title:
Principal type
text:
In type theory, a type system is said to have the principal type property if, given a term and an environment, there exists a principal type for this term in this environment, i.e. a type such that all other types for this term in this environment are an instance of the principal type. The principal type property is a desirable one for a type system, as it provides a way to type expressions in a given environment with a type which encompasses all of the expressions' possible types, instead of ha
brand slug:
wiki
category slug:
encyclopedia
description:
original url:
https://en.wikipedia.org/wiki/Principal_type
date created:
date modified:
2023-08-08T15:56:53Z
main entity:
{"identifier":"Q7245096","url":"https://www.wikidata.org/entity/Q7245096"}
image:
fields total:
13
integrity:
13