Unifying Sets and Programs via Dependent Types (Q3605541): Difference between revisions

@@ Property / describes a project that uses @@
+Coq
@@ Property / describes a project that uses: Coq / rank @@
+Normal rank
@@ Property / describes a project that uses @@
+ML
@@ Property / describes a project that uses: ML / rank @@
+Normal rank
@@ Property / describes a project that uses @@
+HOL
@@ Property / describes a project that uses: HOL / rank @@
+Normal rank
@@ Property / describes a project that uses @@
+LEGO
@@ Property / describes a project that uses: LEGO / 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-540-92687-0_25
+Normal rank
@@ Property / OpenAlex ID @@
+W1507092030
@@ Property / OpenAlex ID: W1507092030 / rank @@
+Normal rank
@@ Property / cites work @@
+Q5287513
@@ Property / cites work: Q5287513 / rank @@
+Normal rank
@@ Property / cites work @@
+Q4357062
@@ Property / cites work: Q4357062 / rank @@
+Normal rank
@@ Property / cites work @@
+Q4524766
@@ Property / cites work: Q4524766 / rank @@
+Normal rank
@@ Property / cites work @@
+The B-Book
@@ Property / cites work: The B-Book / rank @@
+Normal rank
@@ Property / cites work @@
+Extracting Programs from Constructive HOL Proofs Via IZF Set-Theoretic Semantics
+Normal rank
@@ Property / cites work @@
+A Normalizing Intuitionistic Set Theory with Inaccessible Sets
+Normal rank
@@ Property / cites work @@
+Q3222842
@@ Property / cites work: Q3222842 / rank @@
+Normal rank
@@ Property / cites work @@
+Normalization of IZF with Replacement
@@ Property / cites work: Normalization of IZF with Replacement / rank @@
+Normal rank
@@ Property / cites work @@
+Q2778806
@@ Property / cites work: Q2778806 / rank @@
+Normal rank
@@ Property / cites work @@
+Lectures on the Curry-Howard isomorphism
@@ Property / cites work: Lectures on the Curry-Howard isomorphism / rank @@
+Normal rank
@@ Property / cites work @@
+On the Cauchy Completeness of the Constructive Cauchy Reals
+Normal rank
@@ Property / cites work @@
+Q3863865
@@ Property / cites work: Q3863865 / rank @@
+Normal rank
@@ Property / cites work @@
+Q4490719
@@ Property / cites work: Q4490719 / rank @@
+Normal rank
@@ Property / cites work @@
+Map theory
@@ Property / cites work: Map theory / rank @@
+Normal rank
@@ Property / cites work @@
+Q4460846
@@ Property / cites work: Q4460846 / rank @@
+Normal rank
@@ Property / cites work @@
+Light affine set theory: A naive set theory of polynomial time
+Normal rank
@@ links / mardi / name / links / mardi / name @@
+Publication:3605541