A \(\kappa\)-denotational semantics for map theory in ZFC+SI (Q5906925): Difference between revisions

@@ Property / author @@
+Chantal Berline
@@ Property / author: Chantal Berline / rank @@
+Normal rank
@@ Property / MaRDI profile type @@
+MaRDI publication profile
@@ Property / MaRDI profile type: MaRDI publication profile / rank @@
+Normal rank
@@ Property / cites work @@
+Q3912779
@@ Property / cites work: Q3912779 / rank @@
+Normal rank
@@ Property / cites work @@
+Q3206926
@@ Property / cites work: Q3206926 / rank @@
+Normal rank
@@ Property / cites work @@
+Complete restrictions of the intersection type discipline
+Normal rank
@@ Property / cites work @@
+The lambda calculus, its syntax and semantics
@@ Property / cites work: The lambda calculus, its syntax and semantics / rank @@
+Normal rank
@@ Property / cites work @@
+Model theory
@@ Property / cites work: Model theory / rank @@
+Normal rank
@@ Property / cites work @@
+Q3221961
@@ Property / cites work: Q3221961 / rank @@
+Normal rank
@@ Property / cites work @@
+Toward useful type-free theories. I
@@ Property / cites work: Toward useful type-free theories. I / rank @@
+Normal rank
@@ Property / cites work @@
+\(\kappa\)-continuous lattices and comprehension principles for Frege structures
+Normal rank
@@ Property / cites work @@
+Q3812243
@@ Property / cites work: Q3812243 / rank @@
+Normal rank
@@ Property / cites work @@
+A type-free system extending (ZFC)
@@ Property / cites work: A type-free system extending (ZFC) / rank @@
+Normal rank
@@ Property / cites work @@
+Q4847018
@@ Property / cites work: Q4847018 / rank @@
+Normal rank
@@ Property / cites work @@
+The system \({\mathcal F}\) of variable types, fifteen years later
+Normal rank
@@ Property / cites work @@
+Map theory
@@ Property / cites work: Map theory / rank @@
+Normal rank
@@ Property / cites work @@
+Consistency of a \(\lambda\)-theory with \(n\)-tuples and easy term
+Normal rank
@@ Property / cites work @@
+Q3997016
@@ Property / cites work: Q3997016 / rank @@
+Normal rank
@@ Property / cites work @@
+Q4274979
@@ Property / cites work: Q4274979 / rank @@
+Normal rank
@@ Property / cites work @@
+Q3326830
@@ Property / cites work: Q3326830 / rank @@
+Normal rank
@@ Property / cites work @@
+Q5601829
@@ Property / cites work: Q5601829 / rank @@
+Normal rank
@@ Property / cites work @@
+Q4749207
@@ Property / cites work: Q4749207 / rank @@
+Normal rank
@@ Property / cites work @@
+Q3707983
@@ Property / cites work: Q3707983 / rank @@
+Normal rank
@@ Property / cites work @@
+Q3567775
@@ Property / cites work: Q3567775 / rank @@
+Normal rank
@@ Property / cites work @@
+Q5649639
@@ Property / cites work: Q5649639 / rank @@
+Normal rank
@@ Property / cites work @@
+Q4109651
@@ Property / cites work: Q4109651 / rank @@
+Normal rank
@@ Property / cites work @@
+Q4109652
@@ Property / cites work: Q4109652 / rank @@
+Normal rank
@@ Property / cites work @@
+Q3959414
@@ Property / cites work: Q3959414 / rank @@
+Normal rank