Programs as proofs: A synopsis (Q1051424): Difference between revisions

@@ Property / describes a project that uses @@
+LCF
@@ Property / describes a project that uses: LCF / 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.1016/0020-0190(83)90060-1
+Normal rank
@@ Property / OpenAlex ID @@
+W2031973846
@@ Property / OpenAlex ID: W2031973846 / rank @@
+Normal rank
@@ Property / cites work @@
+Q4174692
@@ Property / cites work: Q4174692 / rank @@
+Normal rank
@@ Property / cites work @@
+Q5670174
@@ Property / cites work: Q5670174 / rank @@
+Normal rank
@@ Property / cites work @@
+Q3875311
@@ Property / cites work: Q3875311 / rank @@
+Normal rank
@@ Property / cites work @@
+Q4742765
@@ Property / cites work: Q4742765 / rank @@
+Normal rank
@@ Property / cites work @@
+An introduction to the PL/CV2 programming logic
@@ Property / cites work: An introduction to the PL/CV2 programming logic / rank @@
+Normal rank
@@ Property / cites work @@
+Q3899466
@@ Property / cites work: Q3899466 / rank @@
+Normal rank
@@ Property / cites work @@
+Q5610115
@@ Property / cites work: Q5610115 / rank @@
+Normal rank
@@ Property / cites work @@
+Q3922646
@@ Property / cites work: Q3922646 / rank @@
+Normal rank
@@ Property / cites work @@
+Programming as a Discipline of Mathematical Nature
+Normal rank
@@ Property / cites work @@
+Q3880322
@@ Property / cites work: Q3880322 / rank @@
+Normal rank
@@ Property / cites work @@
+Edinburgh LCF. A mechanized logic of computation
@@ Property / cites work: Edinburgh LCF. A mechanized logic of computation / rank @@
+Normal rank
@@ Property / cites work @@
+Q3925859
@@ Property / cites work: Q3925859 / rank @@
+Normal rank
@@ Property / cites work @@
+An axiomatic basis for computer programming
@@ Property / cites work: An axiomatic basis for computer programming / rank @@
+Normal rank
@@ Property / cites work @@
+On the interpretation of intuitionistic number theory
+Normal rank
@@ Property / cites work @@
+Q4124327
@@ Property / cites work: Q4124327 / rank @@
+Normal rank
@@ Property / cites work @@
+Q4099613
@@ Property / cites work: Q4099613 / rank @@
+Normal rank
@@ Property / cites work @@
+Q3886868
@@ Property / cites work: Q3886868 / rank @@
+Normal rank
@@ Property / cites work @@
+Q4153574
@@ Property / cites work: Q4153574 / rank @@
+Normal rank
@@ Property / cites work @@
+Q5839903
@@ Property / cites work: Q5839903 / rank @@
+Normal rank
@@ Property / cites work @@
+Q3932278
@@ Property / cites work: Q3932278 / rank @@
+Normal rank
@@ Property / cites work @@
+Q5606586
@@ Property / cites work: Q5606586 / rank @@
+Normal rank
@@ Property / cites work @@
+Metamathematical investigation of intuitionistic arithmetic and analysis. With contributions by C. A. Smorynski, J. I. Zucker and W. A. Howard
+Normal rank