The placeholder view of assumptions and the Curry-Howard correspondence (Q6066988): Difference between revisions

@@ Property / cites work @@
+On the Paths of Categories
@@ Property / cites work: On the Paths of Categories / rank @@
+Normal rank
@@ Property / cites work @@
+Q3376920
@@ Property / cites work: Q3376920 / rank @@
+Normal rank
@@ Property / cites work @@
+Normality, non-contamination and logical depth in classical natural deduction
+Normal rank
@@ Property / cites work @@
+Q5815602
@@ Property / cites work: Q5815602 / rank @@
+Normal rank
@@ Property / cites work @@
+Q3467536
@@ Property / cites work: Q3467536 / rank @@
+Normal rank
@@ Property / cites work @@
+Extending the Curry-Howard interpretation to linear, relevant and other resource logics
+Normal rank
@@ Property / cites work @@
+Untersuchungen über das logische Schliessen. I
@@ Property / cites work: Untersuchungen über das logische Schliessen. I / rank @@
+Normal rank
@@ Property / cites work @@
+Rewriting Techniques and Applications
@@ Property / cites work: Rewriting Techniques and Applications / rank @@
+Normal rank
@@ Property / cites work @@
+Q4722037
@@ Property / cites work: Q4722037 / rank @@
+Normal rank
@@ Property / cites work @@
+On the rules of suppositions in formal logic
@@ Property / cites work: On the rules of suppositions in formal logic / rank @@
+Normal rank
@@ Property / cites work @@
+A Comparison of Type Theory with Set Theory
@@ Property / cites work: A Comparison of Type Theory with Set Theory / rank @@
+Normal rank
@@ Property / cites work @@
+Q5149140
@@ Property / cites work: Q5149140 / rank @@
+Normal rank
@@ Property / cites work @@
+Q3688389
@@ Property / cites work: Q3688389 / rank @@
+Normal rank
@@ Property / cites work @@
+Q2744125
@@ Property / cites work: Q2744125 / rank @@
+Normal rank
@@ Property / cites work @@
+Q3999860
@@ Property / cites work: Q3999860 / rank @@
+Normal rank
@@ Property / cites work @@
+Towards a more general concept of inference
@@ Property / cites work: Towards a more general concept of inference / rank @@
+Normal rank
@@ Property / cites work @@
+Q5559220
@@ Property / cites work: Q5559220 / rank @@
+Normal rank
@@ Property / cites work @@
+A natural extension of natural deduction
@@ Property / cites work: A natural extension of natural deduction / rank @@
+Normal rank
@@ Property / cites work @@
+The categorical and the hypothetical: a critique of some fundamental assumptions of standard semantics
+Normal rank
@@ Property / cites work @@
+Advances in proof-theoretic semantics
@@ Property / cites work: Advances in proof-theoretic semantics / 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 @@
+Q3941377
@@ Property / cites work: Q3941377 / rank @@
+Normal rank
@@ Property / cites work @@
+Q3992728
@@ Property / cites work: Q3992728 / rank @@
+Normal rank
@@ Property / cites work @@
+Q4499084
@@ Property / cites work: Q4499084 / rank @@
+Normal rank
@@ Property / cites work @@
+Gentzen's Proof Systems: Byproducts in a Work of Genius
+Normal rank