Classifying categories for partial equational logic (Q2842828): Difference between revisions

@@ Property / describes a project that uses @@
+HasCasl
@@ Property / describes a project that uses: HasCasl / rank @@
+Normal rank
@@ Property / describes a project that uses @@
+CASL
@@ Property / describes a project that uses: CASL / rank @@
+Normal rank
@@ Property / MaRDI profile type @@
+MaRDI publication profile
@@ Property / MaRDI profile type: MaRDI publication profile / rank @@
+Normal rank
@@ Property / cites work @@
+Q4693062
@@ Property / cites work: Q4693062 / rank @@
+Normal rank
@@ Property / cites work @@
+CASL: the Common Algebraic Specification Language.
+Normal rank
@@ Property / cites work @@
+Partial algebras-survey of a unifying approach towards a two-valued model theory for partial algebras
+Normal rank
@@ Property / cites work @@
+Q3138859
@@ Property / cites work: Q3138859 / rank @@
+Normal rank
@@ Property / cites work @@
+Q4373705
@@ Property / cites work: Q4373705 / rank @@
+Normal rank
@@ Property / cites work @@
+Categorical concepts for parameterized partial specifications
+Normal rank
@@ Property / cites work @@
+A functorial semantics for multi-algebras and partial algebras, with applications to syntax.
+Normal rank
@@ Property / cites work @@
+Partiality, cartesian closedness, and toposes
@@ Property / cites work: Partiality, cartesian closedness, and toposes / rank @@
+Normal rank
@@ Property / cites work @@
+A partial functions version of Church's simple theory of types
+Normal rank
@@ Property / cites work @@
+Q4845499
@@ Property / cites work: Q4845499 / rank @@
+Normal rank
@@ Property / cites work @@
+The completeness of the first-order functional calculus
+Normal rank
@@ Property / cites work @@
+Q3727946
@@ Property / cites work: Q3727946 / 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 @@
+Q5599205
@@ Property / cites work: Q5599205 / rank @@
+Normal rank
@@ Property / cites work @@
+Q5639839
@@ Property / cites work: Q5639839 / rank @@
+Normal rank
@@ Property / cites work @@
+Some Results on Locally Finitely Presentable Categories
+Normal rank
@@ Property / cites work @@
+Q3764126
@@ Property / cites work: Q3764126 / rank @@
+Normal rank
@@ Property / cites work @@
+Partial morphisms in categories of effective objects
+Normal rank
@@ Property / cites work @@
+Q3759011
@@ Property / cites work: Q3759011 / rank @@
+Normal rank
@@ Property / cites work @@
+Categories of partial maps
@@ Property / cites work: Categories of partial maps / rank @@
+Normal rank
@@ Property / cites work @@
+HasCasl: Towards Integrated Specification and Development of Functional Programs
+Normal rank
@@ Property / cites work @@
+Q4535078
@@ Property / cites work: Q4535078 / rank @@
+Normal rank
@@ Property / cites work @@
+Q5649639
@@ Property / cites work: Q5649639 / rank @@
+Normal rank
@@ Property / cites work @@
+Q3208629
@@ Property / cites work: Q3208629 / rank @@
+Normal rank
@@ Property / cites work @@
+Locally cartesian closed categories and type theory
+Normal rank
@@ Property / cites work @@
+Categorical semantics for higher order polymorphic lambda calculus
+Normal rank
@@ links / mardi / name / links / mardi / name @@
+Publication:2842828