Refinement Types as Proof Irrelevance (Q3637193): Difference between revisions

@@ Property / full work available at URL @@
+https://doi.org/10.1007/978-3-642-02273-9_13
+Normal rank
@@ Property / OpenAlex ID @@
+W1532507833
@@ Property / OpenAlex ID: W1532507833 / rank @@
+Normal rank
@@ Property / cites work @@
+Propositions as [Types]
@@ Property / cites work: Propositions as [Types] / rank @@
+Normal rank
@@ Property / cites work @@
+Inheritance as implicit coercion
@@ Property / cites work: Inheritance as implicit coercion / rank @@
+Normal rank
@@ Property / cites work @@
+Tridirectional typechecking
@@ Property / cites work: Tridirectional typechecking / rank @@
+Normal rank
@@ Property / cites work @@
+A framework for defining logics
@@ Property / cites work: A framework for defining logics / rank @@
+Normal rank
@@ Property / cites work @@
+Intersection-types à la Church
@@ Property / cites work: Intersection-types à la Church / rank @@
+Normal rank
@@ Property / cites work @@
+Q2871879
@@ Property / cites work: Q2871879 / rank @@
+Normal rank
@@ Property / cites work @@
+Types for Proofs and Programs
@@ Property / cites work: Types for Proofs and Programs / rank @@
+Normal rank