Type theory

In mathematics, logic, and computer science, a type theory is any of a class of formal systems, some of which can serve as alternatives to set theory as a foundation for all mathematics. In type theory, every "term" has a "type" and operations are restricted to terms of a certain type.

单词	Theory of Logical Types
释义	Theory of Logical Types 英语百科 Type theory In mathematics, logic, and computer science, a type theory is any of a class of formal systems, some of which can serve as alternatives to set theory as a foundation for all mathematics. In type theory, every "term" has a "type" and operations are restricted to terms of a certain type.
随便看	sylvian vein,vein of sylvian fossa Sylvian ventricle Sylvia Plath sylvia plaths sylvicacid Sylvic acid Sylvicapra grimmia sylvic oil sylvicola sylvicola distinctus Sylvicolidae sylvicoline sylvics sylvicultural sylviculture sylviculturist sylviculturists sylviduct Sylvie sylviid Sylviidae sylviidaes Sylviinae sylviinaes Sylvii sulcus

Theory of Logical Types

Type theory