A note on Russell's paradox in locally Cartesian closed categories (Q914668): Difference between revisions

@@ Property / MaRDI profile type @@
+MaRDI publication profile
@@ Property / MaRDI profile type: MaRDI publication profile / rank @@
+Normal rank
@@ Property / cites work @@
+Q3345748
@@ Property / cites work: Q3345748 / rank @@
+Normal rank
@@ Property / cites work @@
+Generalized algebraic theories and contextual categories
+Normal rank
@@ Property / cites work @@
+A note on inconsistencies caused by fixpoints in a cartesian closed category
+Normal rank
@@ Property / cites work @@
+Q5752573
@@ Property / cites work: Q5752573 / rank @@
+Normal rank
@@ Property / cites work @@
+On Church's formal theory of functions and functionals. The \(\lambda\)- calculus: Connections to higher type recursion theory, proof theory, category theory
+Normal rank
@@ Property / cites work @@
+Q3727946
@@ Property / cites work: Q3727946 / rank @@
+Normal rank
@@ Property / cites work @@
+Locally cartesian closed categories and type theory
+Normal rank
@@ Property / cites work @@
+On the syntax of Martin-Löf's type theories
@@ Property / cites work: On the syntax of Martin-Löf's type theories / rank @@
+Normal rank
@@ Property / full work available at URL @@
+https://doi.org/10.1007/bf00370830
+Normal rank
@@ Property / OpenAlex ID @@
+W1974294638
@@ Property / OpenAlex ID: W1974294638 / rank @@
+Normal rank