Q5718566 (Q5718566): Difference between revisions

← Older edit

@@ Property / MaRDI profile type @@
+Publication
@@ Property / MaRDI profile type: Publication / rank @@
+Normal rank
@@ Property / Recommended article @@
+Q2849882
@@ Property / Recommended article: Q2849882 / rank @@
+Normal rank
@@ Property / Recommended article: Q2849882 / qualifier @@
+Similarity Score: 0.9127543Amount 0.9127543
Unit 1
-Amount
+.9127543
 Unit
@@ Property / Recommended article: Q2849882 / qualifier @@
+Recommender Run: Recommender Run 2
@@ Property / Recommended article @@
+Interfaces as functors, programs as coalgebras -- a final coalgebra theorem in intensional type theory
+Normal rank
+Similarity Score: 0.88277495Amount 0.88277495
Unit 1
-Amount
+.88277495
 Unit
+Recommender Run: Recommender Run 2
@@ Property / Recommended article @@
+Q2753682
@@ Property / Recommended article: Q2753682 / rank @@
+Normal rank
@@ Property / Recommended article: Q2753682 / qualifier @@
+Similarity Score: 0.8724245Amount 0.8724245
Unit 1
-Amount
+.8724245
 Unit
@@ Property / Recommended article: Q2753682 / qualifier @@
+Recommender Run: Recommender Run 2
@@ Property / Recommended article @@
+Types for Proofs and Programs
@@ Property / Recommended article: Types for Proofs and Programs / rank @@
+Normal rank
@@ Property / Recommended article: Types for Proofs and Programs / qualifier @@
+Similarity Score: 0.8237684Amount 0.8237684
Unit 1
-Amount
+.8237684
 Unit
@@ Property / Recommended article: Types for Proofs and Programs / qualifier @@
+Recommender Run: Recommender Run 2
@@ Property / Recommended article @@
+Interactive programming in Agda – Objects and graphical user interfaces
+Normal rank
+Similarity Score: 0.81813383Amount 0.81813383
Unit 1
-Amount
+.81813383
 Unit
+Recommender Run: Recommender Run 2
@@ Property / Recommended article @@
+Q5193019
@@ Property / Recommended article: Q5193019 / rank @@
+Normal rank
@@ Property / Recommended article: Q5193019 / qualifier @@
+Similarity Score: 0.8074457Amount 0.8074457
Unit 1
-Amount
+.8074457
 Unit
@@ Property / Recommended article: Q5193019 / qualifier @@
+Recommender Run: Recommender Run 2
@@ Property / Recommended article @@
+Q5014439
@@ Property / Recommended article: Q5014439 / rank @@
+Normal rank
@@ Property / Recommended article: Q5014439 / qualifier @@
+Similarity Score: 0.79539305Amount 0.79539305
Unit 1
-Amount
+.79539305
 Unit
@@ Property / Recommended article: Q5014439 / qualifier @@
+Recommender Run: Recommender Run 2
@@ Property / Recommended article @@
+Special issue on Programming with Dependent Types Editorial
+Normal rank
+Similarity Score: 0.79313445Amount 0.79313445
Unit 1
-Amount
+.79313445
 Unit
+Recommender Run: Recommender Run 2
@@ Property / Recommended article @@
+Partial type equivalences for verified dependent interoperability
+Normal rank
+Similarity Score: 0.7925363Amount 0.7925363
Unit 1
-Amount
+.7925363
 Unit
+Recommender Run: Recommender Run 2
@@ links / mardi / name / links / mardi / name @@
+Publication:5718566