Search for "Type theory" in article titles:

1. Type theory: Type theory (presumably, as opposed to type practice) is a part of metamathematics that distinguishes an object and the set to which it belongs, in a formal way. Type theory was first developed by Bertrand Russell as his solution to ... [100%] 2023-12-11 [Logic]
2. Type theory with records: Type theory with records is a formal semantics representation framework, using records to express type theory types. It has been used in natural language processing, principally computational semantics and dialogue systems. [70%] 2023-12-12 [Type theory]
3. Type Theory: The topic of type theory is fundamental both in logic and computer science. We limit ourselves here to sketch some aspects that are important in logic. (Philosophy) [100%] 2021-12-24
4. Intuitionistic type theory: Intuitionistic type theory (also known as constructive type theory, or Martin-Löf type theory) is a type theory and an alternative foundation of mathematics. Intuitionistic type theory was created by Per Martin-Löf, a Swedish mathematician and philosopher, who first ... (Alternative foundation of mathematics) [81%] 2023-12-12 [Foundations of mathematics] [Dependently typed programming]...
5. Kind (type theory): In the area of mathematical logic and computer science known as type theory, a kind is the type of a type constructor or, less commonly, the type of a higher-order type operator. A kind system is essentially a simply ... (Type theory) [81%] 2024-01-06 [Type theory] [Data types]...
6. Homotopy type theory: In mathematical logic and computer science, homotopy type theory (HoTT /hɒt/) refers to various lines of development of intuitionistic type theory, based on the interpretation of types as objects to which the intuition of (abstract) homotopy theory applies. This includes ... (Type theory in logic and mathematics) [81%] 2023-11-27 [Foundations of mathematics] [Type theory]...
7. Intuitionistic Type Theory: Intuitionistic type theory (also constructive type theory or Martin-Löf type theory) is a formal logical system and philosophical foundation for constructive mathematics. It is a full-scale system which aims to play a similar role for constructive mathematics as ... (Philosophy) [81%] 2021-12-25
8. Computational type theory: Computational type theory answers questions such as: What is a type? What is a natural number?. [81%] 2021-12-21 [Computational Intelligence] [Logic]...
9. ST type theory: The following system is Mendelson's (1997, 289–293) ST type theory. ST is equivalent with Russell's ramified theory plus the Axiom of reducibility. [81%] 2023-12-12 [Type theory]
10. Church’s Type Theory: Church’s type theory, aka simple type theory, is a formal logical language which includes classical first-order and propositional logic, but is more expressive in a practical sense. It is used, with some modifications and enhancements, in most modern ... (Philosophy) [81%] 2022-01-21
11. Container (type theory): In type theory, a discipline within mathematical logic, containers are abstractions which permit various "collection types", such as lists and trees, to be represented in a uniform way. A (unary) container is defined by a type of shapes S and ... (Type theory) [81%] 2024-09-01 [Type theory]
12. Type I string theory: In theoretical physics, type I string theory is one of five consistent supersymmetric string theories in ten dimensions. It is the only one whose strings are unoriented (both orientations of a string are equivalent) and the only one which contains ... (Physics) [70%] 2023-12-11 [String theory]
13. Blood type personality theory: The blood type personality theory is a pseudoscientific belief prevalent in Japan and South Korea, which states that a person's blood group system is predictive of a person's personality, temperament, and compatibility with others. The theory is generally ... (Pseudoscience linking character and blood type) [70%] 2023-12-12 [Pseudoscience]
14. Polynomial functor (type theory): In type theory, a polynomial functor (or container functor) is a kind of endofunctor of a category of types that is intimately related to the concept of inductive and coinductive types. Specifically, all W-types (resp. (Type theory) [70%] 2023-12-12 [Type theory]
15. Type II string theory: In theoretical physics, type II string theory is a unified term that includes both type IIA strings and type IIB strings theories. Type II string theory accounts for two of the five consistent superstring theories in ten dimensions. (Physics) [70%] 2023-12-11 [String theory]
16. Korovkin-type approximation theory: Originating from Korovkin's theorems (cf. Korovkin theorems), this theory consists of a collection of results whose main objective is to investigate under what circumstances the convergence of a (particular) sequence (more generally, net) of linear operators acting on a ... (Mathematics) [70%] 2023-10-18
17. Type I string theory: In theoretical physics, type I string theory is one of five consistent supersymmetric string theories in ten dimensions. It is the only one whose strings are unoriented (both orientations of a string are equivalent) and the only one which perturbatively ... [70%] 2024-08-09 [String theory]
18. Type 0 string theory: The Type 0 string theory is a less well-known model of string theory. It is a superstring theory in the sense that the worldsheet theory is supersymmetric. (Physics) [70%] 2024-09-07 [String theory]
19. Type A and Type B personality theory: Type A and Type B personality hypothesis describes two contrasting personality types. In this hypothesis, personalities that are more competitive, highly organized, ambitious, impatient, highly aware of time management, or aggressive are labeled Type A, while more relaxed, "receptive", less ... (Hypothesized duality of personality types) [64%] 2023-12-09 [Ischemic heart diseases] [Personality typologies]...