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

@@ Property / author @@
+Frank Pfenning
@@ Property / author: Frank Pfenning / rank @@
+Normal rank
@@ Property / describes a project that uses @@
+Nuprl
@@ Property / describes a project that uses: Nuprl / rank @@
+Normal rank
@@ Property / MaRDI profile type @@
+MaRDI publication profile
@@ Property / MaRDI profile type: MaRDI publication profile / rank @@
+Normal rank
@@ 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