The paradox of trees in type theory

DOI10.1007/BF01995104zbMATH Open0787.03049MaRDI QIDQ688725FDOQ688725

Authors: Thierry Coquand 

Publication date: 28 November 1993

Published in: BIT (Search for Journal in Brave)

Recommendations

• On the structure of paradoxes
• scientific article; zbMATH DE number 1302061
• scientific article; zbMATH DE number 2185666
• A note on Russell's paradox in locally Cartesian closed categories
• scientific article; zbMATH DE number 733401

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

• Title not available (Why is that?)
• A construction of type: type in Martin-Löf's partial type theory with one universe
• Domain interpretations of Martin-Löf's partial type theory

Cited In (4)

• A short note on type-inhabitation: formula-trees vs. game semantics
• Title not available (Why is that?)
• Title not available (Why is that?)
• On the structure of paradoxes

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

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q688725)