Formal categorical reasoning (Q5102205): Difference between revisions

@@ Property / cites work @@
+Q5753923
@@ Property / cites work: Q5753923 / rank @@
+Normal rank
@@ Property / cites work @@
+Higher order unification via explicit substitutions
+Normal rank
@@ Property / cites work @@
+Computer Aided Systems Theory – EUROCAST 2005
@@ Property / cites work: Computer Aided Systems Theory – EUROCAST 2005 / rank @@
+Normal rank
@@ Property / cites work @@
+Experience Implementing a Performant Category-Theory Library in Coq
+Normal rank
@@ Property / cites work @@
+Combinators and functional programming languages. Thirteenth Spring School of the LITP, Val d'Ajol, France, May 6-10, 1985. Proceedings
+Normal rank
@@ Property / cites work @@
+Q3922646
@@ Property / cites work: Q3922646 / rank @@
+Normal rank
@@ Property / cites work @@
+Q3760508
@@ Property / cites work: Q3760508 / rank @@
+Normal rank
@@ Property / cites work @@
+Notions of computation and monads
@@ Property / cites work: Notions of computation and monads / rank @@
+Normal rank
@@ Property / cites work @@
+Category Theory in Coq 8.5
@@ Property / cites work: Category Theory in Coq 8.5 / rank @@
+Normal rank