The paradox of trees in type theory

DOI10.1007/BF01995104zbMath0787.03049MaRDI QIDQ688725

Thierry Coquand

Publication date: 28 November 1993

Published in: BIT (Search for Journal in Brave)

zbMATH Keywords

paradoxfixed-point operatortype theory with \(W\)-types and a type of all types

Mathematics Subject Classification ID

Second- and higher-order arithmetic and fragments (03F35)

Cites Work

• Unnamed Item
• Domain interpretations of Martin-Löf's partial type theory
• A construction of type: type in Martin-Löf's partial type theory with one universe

This page was built for publication: The paradox of trees in type theory