A constructive algebraic hierarchy in Coq. (Q1404425): Difference between revisions

@@ Property / describes a project that uses @@
+AXIOM
@@ Property / describes a project that uses: AXIOM / rank @@
+Normal rank
@@ Property / MaRDI profile type @@
+MaRDI publication profile
@@ Property / MaRDI profile type: MaRDI publication profile / rank @@
+Normal rank
@@ Property / OpenAlex ID @@
+W2013140497
@@ Property / OpenAlex ID: W2013140497 / rank @@
+Normal rank
@@ Property / cites work @@
+Implicit coercions in type systems
@@ Property / cites work: Implicit coercions in type systems / rank @@
+Normal rank
@@ Property / cites work @@
+Q5573965
@@ Property / cites work: Q5573965 / rank @@
+Normal rank
@@ Property / cites work @@
+Q2754042
@@ Property / cites work: Q2754042 / rank @@
+Normal rank
@@ Property / cites work @@
+Q4736392
@@ Property / cites work: Q4736392 / rank @@
+Normal rank
@@ Property / cites work @@
+Q4023355
@@ Property / cites work: Q4023355 / rank @@
+Normal rank
@@ Property / cites work @@
+Ergänzung zu einer Arbeit von Hellmuth Kneser über den Fundamentalsatz der Algebra
+Normal rank
@@ Property / cites work @@
+Coercive subtyping
@@ Property / cites work: Coercive subtyping / rank @@
+Normal rank
@@ Property / cites work @@
+Q2754063
@@ Property / cites work: Q2754063 / rank @@
+Normal rank