Strong categorical datatypes II: A term logic for categorical programming (Q673963): Difference between revisions

@@ Property / cites work @@
+Introduction to distributive categories
@@ Property / cites work: Introduction to distributive categories / rank @@
+Normal rank
@@ Property / cites work @@
+Q3137150
@@ Property / cites work: Q3137150 / rank @@
+Normal rank
@@ Property / cites work @@
+Codatatypes in ML
@@ Property / cites work: Codatatypes in ML / rank @@
+Normal rank
@@ Property / cites work @@
+Categorical data types in parametric polymorphism
@@ Property / cites work: Categorical data types in parametric polymorphism / rank @@
+Normal rank
@@ Property / cites work @@
+Parametricity of extensionally collapsed term models of polymorphism and their categorical properties
+Normal rank
@@ Property / cites work @@
+Strong functors and monoidal monads
@@ Property / cites work: Strong functors and monoidal monads / rank @@
+Normal rank
@@ Property / cites work @@
+A co-induction principle for recursively defined domains
+Normal rank
@@ Property / cites work @@
+Substitution revisited
@@ Property / cites work: Substitution revisited / rank @@
+Normal rank
@@ Property / cites work @@
+A note on categorical datatypes
@@ Property / cites work: A note on categorical datatypes / rank @@
+Normal rank