blockversewordysbillionaire.aiyourlistWhiteboardAppquizieunschool

News

Home
Popular
Elections
Members

Genius — OpenServe

type theory — latest news, discussion & facts — IJR

Sponsored

type theory

Topic

type theory

study of type systems in mathematical logic and computer science

0members1here now

Ask Genius Site

Feed Discussions About

Loading

Comments

Ask Genius by OpenServe:

Free account · your comment posts right after signup

About type theory

In mathematical logic, and theoretical computer science, type theory is the study of formal systems that classify expressions or mathematical objects by their types. Roughly speaking, a type plays a similar role to that played by a data type in programming: it specifies what kind of thing an expression is and how it may be used. Type theories are used in the study of programming languages, formal logic, and the formalization of mathematics.

0

members

1

here now

Everything about type theory →

Live room · 1 here

Be the first in the room — members see you arrive.

Facts from Wikidata (CC0).