Realizability interpretation of proofs in constructive analysis (Q1015381): Difference between revisions

@@ Property / DOI @@
-.1007/s00224-007-9027-4
@@ Property / DOI: 10.1007/s00224-007-9027-4 / rank @@
-Normal rank
@@ Property / MaRDI profile type @@
+Publication
@@ Property / MaRDI profile type: Publication / rank @@
+Normal rank
@@ Property / full work available at URL @@
+https://doi.org/10.1007/s00224-007-9027-4
+Normal rank
@@ Property / OpenAlex ID @@
+W2030292569
@@ Property / OpenAlex ID: W2030292569 / rank @@
+Normal rank
@@ Property / cites work @@
+Exact calculation of inverse functions
@@ Property / cites work: Exact calculation of inverse functions / rank @@
+Normal rank
@@ Property / cites work @@
+Uniform Heyting arithmetic
@@ Property / cites work: Uniform Heyting arithmetic / rank @@
+Normal rank
@@ Property / cites work @@
+Q4281467
@@ Property / cites work: Q4281467 / rank @@
+Normal rank
@@ Property / cites work @@
+Term rewriting for normalization by evaluation.
@@ Property / cites work: Term rewriting for normalization by evaluation. / rank @@
+Normal rank
@@ Property / cites work @@
+Q5573965
@@ Property / cites work: Q5573965 / rank @@
+Normal rank
@@ Property / cites work @@
+Q4736392
@@ Property / cites work: Q4736392 / rank @@
+Normal rank
@@ Property / cites work @@
+ÜBER EINE BISHER NOCH NICHT BENÜTZTE ERWEITERUNG DES FINITEN STANDPUNKTES
+Normal rank
@@ Property / cites work @@
+Q3251608
@@ Property / cites work: Q3251608 / rank @@
+Normal rank
@@ Property / cites work @@
+Q4218526
@@ Property / cites work: Q4218526 / rank @@
+Normal rank
@@ Property / cites work @@
+Q5344164
@@ Property / cites work: Q5344164 / rank @@
+Normal rank
@@ Property / cites work @@
+Q4435471
@@ Property / cites work: Q4435471 / rank @@
+Normal rank
@@ Property / cites work @@
+Continuity of monotone functions
@@ Property / cites work: Continuity of monotone functions / rank @@
+Normal rank
@@ Property / cites work @@
+Q5566070
@@ Property / cites work: Q5566070 / rank @@
+Normal rank
@@ Property / cites work @@
+Q5435637
@@ Property / cites work: Q5435637 / 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
@@ Property / DOI @@
+.1007/S00224-007-9027-4
@@ Property / DOI: 10.1007/S00224-007-9027-4 / rank @@
+Normal rank
@@ links / mardi / name / links / mardi / name @@
+Publication:1015381