Applied functorial semantics. I (Q2550443): Difference between revisions

@@ Property / cites work @@
+Q5586466
@@ Property / cites work: Q5586466 / rank @@
+Normal rank
@@ Property / cites work @@
+Q5586461
@@ Property / cites work: Q5586461 / rank @@
+Normal rank
@@ Property / cites work @@
+Q5731806
@@ Property / cites work: Q5731806 / rank @@
+Normal rank
@@ Property / cites work @@
+Q5589329
@@ Property / cites work: Q5589329 / rank @@
+Normal rank
@@ Property / cites work @@
+FUNCTORIAL SEMANTICS OF ALGEBRAIC THEORIES
@@ Property / cites work: FUNCTORIAL SEMANTICS OF ALGEBRAIC THEORIES / rank @@
+Normal rank
@@ Property / cites work @@
+Autonomous categories and duality of functors
@@ Property / cites work: Autonomous categories and duality of functors / rank @@
+Normal rank
@@ Property / cites work @@
+Injective Boolean \(\sigma\)-algebras
@@ Property / cites work: Injective Boolean \(\sigma\)-algebras / rank @@
+Normal rank
@@ Property / cites work @@
+Q5599205
@@ Property / cites work: Q5599205 / rank @@
+Normal rank
@@ Property / cites work @@
+Q5622475
@@ Property / cites work: Q5622475 / rank @@
+Normal rank
@@ Property / cites work @@
+Categorical algebra
@@ Property / cites work: Categorical algebra / rank @@
+Normal rank
@@ Property / cites work @@
+The Full Imbedding Theorem
@@ Property / cites work: The Full Imbedding Theorem / rank @@
+Normal rank
@@ Property / cites work @@
+Q5508993
@@ Property / cites work: Q5508993 / rank @@
+Normal rank
@@ Property / cites work @@
+Q5519049
@@ Property / cites work: Q5519049 / rank @@
+Normal rank
@@ Property / cites work @@
+Q5567917
@@ Property / cites work: Q5567917 / rank @@
+Normal rank