Keyword

type theory

Description: A formal system in mathematical logic and computer science that studies types and their use in defining and reasoning about expressions.

Primary topic: Logic, programming, and type systems (60%)

Wikidata ID: wiki/Q1056428

OpenAlex ID: keywords/type-theory

Types and Programming Languages

2002 · Benjamin C. Pierce · 2,226

A formulation of the simple theory of types

1940 · Alonzo Church · Journal of Symbolic Logic · 1,906

Personality and Individual Differences: A Natural Science Approach

1985 · H. J. Eysenck, Michael W. Eysenck · Medical Entomology and Zoology · 1,846

Intuitionistic type theory

1984 · Per Martin-Löf · Bibliopolis eBooks · 1,275

On Players′ Models of Other Players: Theory and Experimental Evidence

1995 · Dale O. Stahl, Paul W. Wilson · Games and Economic Behavior · 1,133

The calculus of constructions

1988 · Thierry Coquand, Gérard Huet · Information and Computation · 1,094

Introduction to Higher Order Categorical Logic.

1989 · J. L. Bell, J. Lambek, et al. · Journal of Symbolic Logic · 1,083

Interactive theorem proving and program development. Coq'Art: The Calculus of inductive constructions.

2004 · Castéran, Pierre, Bertot, Yves · HAL (Le Centre pour la Communication Scientifique Directe) · 1,072

Mathematical Logic as Based on the Theory of Types

1908 · Bertrand Russell · American Journal of Mathematics · 1,029

Completeness in the theory of types

1950 · Leon Henkin · Journal of Symbolic Logic · 835

Towards a theory of type structure

1974 · John C. Reynolds · Lecture notes in computer science · 826

From Frege to Gödel: a source book in mathematical logic, 1879-1931

2021 · Jean van Heijenoort · 733

An Intuitionistic Theory of Types: Predicative Part

1975 · Per Martin-Löf · Studies in logic and the foundations of mathematics · 656

A semantics of multiple inheritance

1988 · Luca Cardelli · Information and Computation · 622

Constructivism in Mathematics - An Introduction

1988 · Studies in logic and the foundations of mathematics · 610

Lexical Meaning in Context

2011 · Nicholas Asher · Cambridge University Press eBooks · 536

Categorical Logic and Type Theory

1999 · Bart Jacobs · Thammasat University Digital Collections · 486

New Foundations for Mathematical Logic

1937 · W. V. Quine · American Mathematical Monthly · 482

Bertrand Russell. Mathematical logic as based on the theory of types. A reprint of the first five sections of 11116. Contemporary readings in logical theory, edited by Irving M. Copi and James A. Gould, The Macmillan Company, New York, and Collier-Macmillan Limited, London, 1967, pp. 135–153.

1974 · Alonzo Church · Journal of Symbolic Logic · 480

Une Extension De ĽInterpretation De Gödel a ĽAnalyse, Et Son Application a ĽElimination Des Coupures Dans ĽAnalyse Et La Theorie Des Types

1971 · Jean-Yves Girard · Studies in logic and the foundations of mathematics · 454

Peter B. Andrews. An introduction to mathematical logic and type theory: to truth through proof. Computer science and applied mathematics. Academic Press, Orlando etc. 1986, xv + 304 pp.

1988 · M. Yasuhara · Journal of Symbolic Logic · 448

Type-Theoretical Grammar

1995 · Aarne Ranta · 431

Constructive Mathematics and Computer Programming

1982 · Per Martin-Löf · Studies in logic and the foundations of mathematics · 410

Foundations of Set Theory

2012 · Abraham A. Fraenkel, Yehoshua Bar‐Hillel · UCLA - Biblioteca de Ciencias y Tecnologia Felix Morales Bueno · 397

Inductive definitions in the system Coq rules and properties

2006 · Christine Paulin-Mohring · Springer eBooks · 396

Works count: 6,192

Citation count: 68,250