A Kripke model for simplicial sets (Q2257308): Difference between revisions

@@ Property / DOI @@
-.1016/j.tcs.2015.01.035
@@ Property / DOI: 10.1016/j.tcs.2015.01.035 / rank @@
-Normal rank
@@ Property / full work available at URL @@
+https://doi.org/10.1016/j.tcs.2015.01.035
+Normal rank
@@ Property / OpenAlex ID @@
+W2063617540
@@ Property / OpenAlex ID: W2063617540 / rank @@
+Normal rank
@@ Property / cites work @@
+A generalization of the Takeuti–Gandy interpretation
+Normal rank
@@ Property / cites work @@
+Q2968413
@@ Property / cites work: Q2968413 / rank @@
+Normal rank
@@ Property / cites work @@
+Q5550390
@@ Property / cites work: Q5550390 / rank @@
+Normal rank
@@ Property / cites work @@
+Simplicial homotopy theory
@@ Property / cites work: Simplicial homotopy theory / rank @@
+Normal rank
@@ Property / cites work @@
+Q5509675
@@ Property / cites work: Q5509675 / rank @@
+Normal rank
@@ Property / cites work @@
+Automating Coherent Logic
@@ Property / cites work: Automating Coherent Logic / rank @@
+Normal rank
@@ Property / DOI @@
+.1016/J.TCS.2015.01.035
@@ Property / DOI: 10.1016/J.TCS.2015.01.035 / rank @@
+Normal rank