Dependently Sorted Logic (Q3499748): Difference between revisions

@@ Property / MaRDI profile type @@
+MaRDI publication profile
@@ Property / MaRDI profile type: MaRDI publication profile / rank @@
+Normal rank
@@ Property / full work available at URL @@
+https://doi.org/10.1007/978-3-540-68103-8_3
+Normal rank
@@ Property / OpenAlex ID @@
+W1540279298
@@ Property / OpenAlex ID: W1540279298 / rank @@
+Normal rank
@@ Property / cites work @@
+The generalised type-theoretic interpretation of constructive set theory
+Normal rank
@@ Property / cites work @@
+Categorical logic and type theory
@@ Property / cites work: Categorical logic and type theory / rank @@
+Normal rank
@@ Property / cites work @@
+First-Order Logic with Dependent Types
@@ Property / cites work: First-Order Logic with Dependent Types / rank @@
+Normal rank
@@ Property / cites work @@
+CASL reference manual. The complete documentation of the common algebraic specification language.
+Normal rank
@@ Property / cites work @@
+Q4825542
@@ Property / cites work: Q4825542 / rank @@
+Normal rank
@@ Property / cites work @@
+Q4945203
@@ Property / cites work: Q4945203 / rank @@
+Normal rank
@@ Property / cites work @@
+Generalized algebraic theories and contextual categories
+Normal rank
@@ Property / cites work @@
+Q2753183
@@ Property / cites work: Q2753183 / rank @@
+Normal rank
@@ Property / cites work @@
+Q4225149
@@ Property / cites work: Q4225149 / rank @@
+Normal rank
@@ Property / cites work @@
+Q4499084
@@ Property / cites work: Q4499084 / rank @@
+Normal rank
@@ Property / cites work @@
+Q4783274
@@ Property / cites work: Q4783274 / rank @@
+Normal rank
@@ Property / cites work @@
+Q3783260
@@ Property / cites work: Q3783260 / rank @@
+Normal rank
@@ Property / cites work @@
+Q5537599
@@ Property / cites work: Q5537599 / rank @@
+Normal rank