Intuitionistic Type Theory

P. {Martin-Löf}
[Google Scholar] [DBLP] [Citeseer]

Studies in Proof Theory
1984

Notes mentioning this paper

Constructive logic
Constructive mathematics is distinguished from its traditional counterpart, classical mathematics, by the strict interpretation of the phrase “there exists” as...

There are no papers linking to this paper.

Here are all the notes in this garden, along with their links, visualized as a graph.