May I borrow your logic? (Transporting logical structures along maps) (Q1391728): Difference between revisions

@@ Property / describes a project that uses @@
+OBJ3
@@ Property / describes a project that uses: OBJ3 / rank @@
+Normal rank
@@ Property / MaRDI profile type @@
+MaRDI publication profile
@@ Property / MaRDI profile type: MaRDI publication profile / rank @@
+Normal rank
@@ Property / cites work @@
+Q3906394
@@ Property / cites work: Q3906394 / rank @@
+Normal rank
@@ Property / cites work @@
+Q3138536
@@ Property / cites work: Q3138536 / rank @@
+Normal rank
@@ Property / cites work @@
+Q3221381
@@ Property / cites work: Q3221381 / rank @@
+Normal rank
@@ Property / cites work @@
+Q3824395
@@ Property / cites work: Q3824395 / rank @@
+Normal rank
@@ Property / cites work @@
+Linear logic
@@ Property / cites work: Linear logic / rank @@
+Normal rank
@@ Property / cites work @@
+Q4128539
@@ Property / cites work: Q4128539 / rank @@
+Normal rank
@@ Property / cites work @@
+Q5416166
@@ Property / cites work: Q5416166 / rank @@
+Normal rank
@@ Property / cites work @@
+Q4723263
@@ Property / cites work: Q4723263 / rank @@
+Normal rank
@@ Property / cites work @@
+Institutions: abstract model theory for specification and programming
+Normal rank
@@ Property / cites work @@
+Q3716279
@@ Property / cites work: Q3716279 / rank @@
+Normal rank
@@ Property / cites work @@
+Q5586462
@@ Property / cites work: Q5586462 / rank @@
+Normal rank
@@ Property / cites work @@
+Logic representation in LF
@@ Property / cites work: Logic representation in LF / rank @@
+Normal rank
@@ Property / cites work @@
+Q3877831
@@ Property / cites work: Q3877831 / rank @@
+Normal rank
@@ Property / cites work @@
+Q5639839
@@ Property / cites work: Q5639839 / rank @@
+Normal rank
@@ Property / cites work @@
+Q3975037
@@ Property / cites work: Q3975037 / rank @@
+Normal rank
@@ Property / cites work @@
+From Petri nets to linear logic
@@ Property / cites work: From Petri nets to linear logic / rank @@
+Normal rank
@@ Property / cites work @@
+Q3032225
@@ Property / cites work: Q3032225 / rank @@
+Normal rank
@@ Property / cites work @@
+Categorical methods in computer science. With aspects from topology. International workshop, September 1988, Berlin (West). Proceedings
+Normal rank
@@ Property / cites work @@
+On observational equivalence and algebraic specification
+Normal rank
@@ Property / cites work @@
+Specifications in an arbitrary institution
@@ Property / cites work: Specifications in an arbitrary institution / rank @@
+Normal rank
@@ Property / cites work @@
+Q3827993
@@ Property / cites work: Q3827993 / rank @@
+Normal rank
@@ Property / cites work @@
+On the existence of free models in abstract algebraic institutions
+Normal rank
@@ Property / full work available at URL @@
+https://doi.org/10.1016/s0304-3975(96)00160-0
+Normal rank
@@ Property / OpenAlex ID @@
+W2005081948
@@ Property / OpenAlex ID: W2005081948 / rank @@
+Normal rank