Light Dialectica revisited (Q636373): Difference between revisions

@@ Property / cites work @@
+Q4215634
@@ Property / cites work: Q4215634 / rank @@
+Normal rank
@@ Property / cites work @@
+Uniform Heyting arithmetic
@@ Property / cites work: Uniform Heyting arithmetic / rank @@
+Normal rank
@@ Property / cites work @@
+Refined program extraction from classical proofs
@@ Property / cites work: Refined program extraction from classical proofs / rank @@
+Normal rank
@@ Property / cites work @@
+Linear logic
@@ Property / cites work: Linear logic / rank @@
+Normal rank
@@ Property / cites work @@
+ÜBER EINE BISHER NOCH NICHT BENÜTZTE ERWEITERUNG DES FINITEN STANDPUNKTES
+Normal rank
@@ Property / cites work @@
+Computer Science Logic
@@ Property / cites work: Computer Science Logic / rank @@
+Normal rank
@@ Property / cites work @@
+Hybrid Functional Interpretations
@@ Property / cites work: Hybrid Functional Interpretations / rank @@
+Normal rank
@@ Property / cites work @@
+A note on Spector's quantifier-free rule of extensionality
+Normal rank
@@ Property / cites work @@
+Unifying functional interpretations
@@ Property / cites work: Unifying functional interpretations / rank @@
+Normal rank
@@ Property / cites work @@
+Computational Interpretations of Classical Linear Logic
+Normal rank
@@ Property / cites work @@
+Dialectica interpretation of well-founded induction
+Normal rank
@@ Property / cites work @@
+Q5519134
@@ Property / cites work: Q5519134 / rank @@
+Normal rank
@@ Property / cites work @@
+Dialectica Interpretation with Fine Computational Control
+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