Type theory
id:
type-theory-208-1094924
title:
Type theory
text:
In mathematics and theoretical computer science, a type theory is the formal presentation of a specific type system. Type theory is the academic study of type systems. Some type theories serve as alternatives to set theory as a foundation of mathematics. Two influential type theories that have been proposed as foundations are:
- Typed λ-calculus of Alonzo Church
- Intuitionistic type theory of Per Martin-Löf Most computerized proof-writing systems use a type theory for their foundation. A c
brand slug:
wiki
category slug:
encyclopedia
description:
Concept in mathematical logic
original url:
https://en.wikipedia.org/wiki/Type_theory
date created:
2002-02-22T09:49:02Z
date modified:
2024-09-11T08:08:58Z
main entity:
{"identifier":"Q1056428","url":"https://www.wikidata.org/entity/Q1056428"}
image:
fields total:
13
integrity:
15