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

@@ Property / MaRDI profile type @@
+MaRDI publication profile
@@ Property / MaRDI profile type: MaRDI publication profile / rank @@
+Normal rank
@@ 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
@@ Property / full work available at URL @@
+https://doi.org/10.1007/bf02415703
+Normal rank
@@ Property / OpenAlex ID @@
+W4254513955
@@ Property / OpenAlex ID: W4254513955 / rank @@
+Normal rank
@@ links / mardi / name / links / mardi / name @@
+Publication:2550443