Combinatorial realizability models of type theory (Q385804): Difference between revisions

@@ Property / author @@
-Pieter J. W. Hofstra
@@ Property / author: Pieter J. W. Hofstra / rank @@
-Normal rank
@@ Property / author @@
+Pieter J. W. Hofstra
@@ Property / author: Pieter J. W. Hofstra / rank @@
+Normal rank
@@ Property / Mathematics Subject Classification ID @@
+B15
@@ Property / Mathematics Subject Classification ID: 03B15 / rank @@
+Normal rank
@@ Property / Mathematics Subject Classification ID @@
+G30
@@ Property / Mathematics Subject Classification ID: 03G30 / rank @@
+Normal rank
@@ Property / Mathematics Subject Classification ID @@
+A15
@@ Property / Mathematics Subject Classification ID: 18A15 / rank @@
+Normal rank
@@ Property / Mathematics Subject Classification ID @@
+D30
@@ Property / Mathematics Subject Classification ID: 18D30 / rank @@
+Normal rank
@@ Property / zbMATH DE Number @@
+6237621
@@ Property / zbMATH DE Number: 6237621 / rank @@
+Normal rank
@@ Property / zbMATH Keywords @@
+realizability
@@ Property / zbMATH Keywords: realizability / rank @@
+Normal rank
@@ Property / zbMATH Keywords @@
+gluing
@@ Property / zbMATH Keywords: gluing / rank @@
+Normal rank
@@ Property / zbMATH Keywords @@
+logical relations
@@ Property / zbMATH Keywords: logical relations / rank @@
+Normal rank
@@ Property / zbMATH Keywords @@
+homotopy type theory
@@ Property / zbMATH Keywords: homotopy type theory / rank @@
+Normal rank
@@ Property / zbMATH Keywords @@
+Martin-Löf type theory
@@ Property / zbMATH Keywords: Martin-Löf type theory / rank @@
+Normal rank
@@ Property / zbMATH Keywords @@
+groupoid semantics
@@ Property / zbMATH Keywords: groupoid semantics / rank @@
+Normal rank
@@ Property / MaRDI profile type @@
+MaRDI publication profile
@@ Property / MaRDI profile type: MaRDI publication profile / rank @@
+Normal rank
@@ Property / OpenAlex ID @@
+W2096221521
@@ Property / OpenAlex ID: W2096221521 / rank @@
+Normal rank
@@ Property / arXiv ID @@
+.5527
@@ Property / arXiv ID: 1205.5527 / rank @@
+Normal rank
@@ Property / cites work @@
+Type Theory and Homotopy
@@ Property / cites work: Type Theory and Homotopy / rank @@
+Normal rank
@@ Property / cites work @@
+Martin-Löf complexes
@@ Property / cites work: Martin-Löf complexes / rank @@
+Normal rank
@@ Property / cites work @@
+Internal type theory
@@ Property / cites work: Internal type theory / rank @@
+Normal rank
@@ Property / cites work @@
+The identity type weak factorisation system
@@ Property / cites work: The identity type weak factorisation system / rank @@
+Normal rank
@@ Property / cites work @@
+Q4225149
@@ Property / cites work: Q4225149 / rank @@
+Normal rank
@@ Property / cites work @@
+Q4247303
@@ Property / cites work: Q4247303 / rank @@
+Normal rank
@@ Property / cites work @@
+Intensional interpretations of functionals of finite type I
+Normal rank
@@ links / mardi / name / links / mardi / name @@
+Publication:385804