Find link

language:

Find link is a tool written by Edward Betts.

Longer titles found: Type theory with records (view), Intuitionistic type theory (view), Homotopy type theory (view), Kind (type theory) (view), History of type theory (view), Container (type theory) (view), Polynomial functor (type theory) (view), ST type theory (view)

searching for Type theory 34 found (715 total)

alternate case: type theory

Myers–Briggs Type Indicator (9,378 words) [view diff] no match in snippet view article find links to article

The Myers–Briggs Type Indicator (MBTI) is a self-report questionnaire that makes pseudoscientific claims to categorize individuals into 16 distinct "psychological

Blood type personality theory (4,300 words) [view diff] exact match in snippet view article find links to article

personality. Davis, Matt (25 March 2019). "What is the Japanese blood type theory of personality?". Big Think. Retrieved 19 July 2020. Yamaguchi, Mari

Type physicalism (2,321 words) [view diff] exact match in snippet view article find links to article

which the functionalist alludes. In this way we have a second order type theory". The fundamental point is that it is extremely difficult to determine

Ordinal analysis (4,946 words) [view diff] exact match in snippet view article find links to article

comprehension. ATR0, arithmetical transfinite recursion. Martin-Löf type theory with arbitrarily many finite level universes. This ordinal is sometimes

Map (higher-order function) (1,572 words) [view diff] no match in snippet view article

In many programming languages, map is a higher-order function that applies a given function to each element of a collection, e.g. a list or set, returning

Journal of Functional Programming (212 words) [view diff] exact match in snippet view article find links to article

reasoning and proof, program transformation and synthesis, type systems, type theory, language-based security, memory management, parallelism and applications

Rank (198 words) [view diff] exact match in snippet view article find links to article

generated (or spanned) by a matrix's columns Rank (set theory) Rank (type theory) Rank of an abelian group, the cardinality of a maximal linearly independent

Peter B. Andrews (344 words) [view diff] exact match in snippet view article find links to article

Transfinite Type Theory with Type Variables. North Holland Publishing Company, Amsterdam. Andrews, Peter B. (1971). "Resolution in type theory". Journal

John G. Kemeny (1,185 words) [view diff] no match in snippet view article find links to article

mathematics in 1949 after completing a doctoral dissertation, titled "Type-theory vs. set-theory", also under the supervision of Alonzo Church. He worked

Normalisation by evaluation (1,633 words) [view diff] exact match in snippet view article find links to article

approach, and to richer type systems such as several variants of Martin-Löf type theory. Consider the simply typed lambda calculus, where types τ can be basic

Universal Systems Language (770 words) [view diff] exact match in snippet view article find links to article

is equivalent to the process of deriving new types in a constructive type theory. The process of developing a software system with USL together with its

Total functional programming (719 words) [view diff] exact match in snippet view article find links to article

paper. So could programming directly in plain System F, in Martin-Löf type theory or the Calculus of Constructions. Termination analysis This term is due

ALF (proof assistant) (123 words) [view diff] exact match in snippet view article

logical framework") is a structure editor for monomorphic Martin-Löf type theory developed at Chalmers University. It is a predecessor of the Alfa, Agda

Hugh Darwen (1,122 words) [view diff] exact match in snippet view article find links to article

Databases: The Third Manifesto: a detailed study of the impact of objects and type theory on the relational model of data including a comprehensive proposal for

Ideal type (1,044 words) [view diff] exact match in snippet view article find links to article

law-seeking efforts. Critics of ideal type include proponents of the normal type theory. Some sociologists argue that ideal type tends to focus on extreme phenomena

Class (philosophy) (340 words) [view diff] exact match in snippet view article

of logic, and particularly Bertrand Russell"s Principia Mathematica "From Aristotle to EA: a type theory for EA" quoted 26/10/2014. Philosophy portal

Ruy de Queiroz (1,250 words) [view diff] exact match in snippet view article find links to article

late 1980s, Ruy de Queiroz has offered a reformulation of Martin-Löf type theory based on a novel reading of Wittgenstein’s "meaning-is-use", where the

Axiom of non-choice (698 words) [view diff] exact match in snippet view article find links to article

(anti-classical) in those theories. The axiom may also play a role in type theory, in particular when the theory is modeling a set theory. Arrow-theoretic

Axiom of non-choice (698 words) [view diff] exact match in snippet view article find links to article

(anti-classical) in those theories. The axiom may also play a role in type theory, in particular when the theory is modeling a set theory. Arrow-theoretic

August Wilhelm von Hofmann (3,203 words) [view diff] exact match in snippet view article find links to article

Introduction to Modern Chemistry, summarising type theory and emerging ideas about chemical structure. Type theory modelled four inorganic molecules, hydrogen

Ruy de Queiroz (1,250 words) [view diff] exact match in snippet view article find links to article

late 1980s, Ruy de Queiroz has offered a reformulation of Martin-Löf type theory based on a novel reading of Wittgenstein’s "meaning-is-use", where the

Minimal logic (4,334 words) [view diff] exact match in snippet view article find links to article

positive, implicational fragment of intuitionistic logic and, in the type theory context, often also already denoted as "minimal logic". Absurdity ⊥ {\displaystyle

Q0 (mathematical logic) (1,135 words) [view diff] exact match in snippet view article

of infinity. Unlike many other formulations of type theory and proof assistants based on type theory, Q0 does not provide for base types other than o

Unary numeral system (1,251 words) [view diff] exact match in snippet view article find links to article

Magaud, Nicolas; Bertot, Yves (2002), "Changing data structures in type theory: a study of natural numbers", Types for proofs and programs (Durham,

Free variables and bound variables (2,273 words) [view diff] exact match in snippet view article find links to article

Gruyter Mouton. pp. 88–90. ISBN 978-3-11-080670-0. Thompson, Simon (1991). Type theory and functional programming. Wokingham, England: Addison-Wesley. ISBN 0201416670

Grammatical Framework (programming language) (1,779 words) [view diff] exact match in snippet view article

logical framework to be precise) based on Martin-Löf's intuitionistic type theory, with additional judgments tailored specifically to the domain of linguistics

Kurt Gödel (5,819 words) [view diff] exact match in snippet view article find links to article

discovered a proof for the independence of the axiom of choice from finite type theory, a weakened form of set theory, while in Blue Hill in 1942. Gödel's close

Philippa Gardner (424 words) [view diff] case mismatch in snippet view article find links to article

PhD in 1992. Her doctoral thesis was titled "Representing Logics in Type Theory". After being awarded an EPSRC Advanced Fellowship at Cambridge University

Order (mathematics) (499 words) [view diff] exact match in snippet view article

(graph theory) and bramble (graph theory) In logic, model theory and type theory: Zeroth-order logic First-order logic Second-order logic Higher-order

Relational model (4,196 words) [view diff] exact match in snippet view article find links to article

database systems: the third manifesto; a detailed study of the impact of type theory on the relational model of data, including a comprehensive model of type

Keirsey Temperament Sorter (1,438 words) [view diff] exact match in snippet view article find links to article

Kretschmer Five temperaments Four temperaments Socionics Temperament Type theory Keirsey, David (May 1, 1998) [1978]. Please Understand Me II: Temperament

Cartesian closed category (2,611 words) [view diff] exact match in snippet view article find links to article

001. Seely, R. A. G. (1984). "Locally cartesian closed categories and type theory". Mathematical Proceedings of the Cambridge Philosophical Society. 95

Proof assistant (1,206 words) [view diff] case mismatch in snippet view article find links to article

(2013). "Calculating the Fundamental Group of the Circle in Homotopy Type Theory". 2013 28th Annual ACM/IEEE Symposium on Logic in Computer Science. pp

Paul Lorenzen (584 words) [view diff] exact match in snippet view article find links to article

protophysics of time and space. He developed constructive logic, constructive type theory and constructive analysis. Lorenzen's work on calculus Differential and