The naturality of natural deduction. II: on atomic polymorphism and generalized propositional connectives (Q2118979): Difference between revisions

@@ Property / cites work @@
+Functorial polymorphism
@@ Property / cites work: Functorial polymorphism / rank @@
+Normal rank
@@ Property / cites work @@
+Domain-free pure type systems
@@ Property / cites work: Domain-free pure type systems / rank @@
+Normal rank
@@ Property / cites work @@
+Q2971275
@@ Property / cites work: Q2971275 / rank @@
+Normal rank
@@ Property / cites work @@
+Identity of Proofs Based on Normalization and Generality
+Normal rank
@@ Property / cites work @@
+A refined interpretation of intuitionistic logic by means of atomic polymorphism
+Normal rank
@@ Property / cites work @@
+The Russell-Prawitz embedding and the atomization of universal instantiation
+Normal rank
@@ Property / cites work @@
+Comments on predicative logic
@@ Property / cites work: Comments on predicative logic / rank @@
+Normal rank
@@ Property / cites work @@
+Commuting conversions vs. the standard conversions of the ``good'' connectives
+Normal rank
@@ Property / cites work @@
+Atomic polymorphism
@@ Property / cites work: Atomic polymorphism / rank @@
+Normal rank
@@ Property / cites work @@
+η-conversions of IPC implemented in atomic F
@@ Property / cites work: η-conversions of IPC implemented in atomic F / rank @@
+Normal rank
@@ Property / cites work @@
+Semantical investigations in Heyting's intuitionistic logic
+Normal rank
@@ Property / cites work @@
+Polynomial functors and polynomial monads
@@ Property / cites work: Polynomial functors and polynomial monads / rank @@
+Normal rank
@@ Property / cites work @@
+Q4010357
@@ Property / cites work: Q4010357 / rank @@
+Normal rank
@@ Property / cites work @@
+Q3994895
@@ Property / cites work: Q3994895 / rank @@
+Normal rank
@@ Property / cites work @@
+Finitely stratified polymorphism
@@ Property / cites work: Finitely stratified polymorphism / rank @@
+Normal rank
@@ Property / cites work @@
+Extensional Rewriting with Sums
@@ Property / cites work: Extensional Rewriting with Sums / rank @@
+Normal rank
@@ Property / cites work @@
+ON FLATTENING ELIMINATION RULES
@@ Property / cites work: ON FLATTENING ELIMINATION RULES / rank @@
+Normal rank
@@ Property / cites work @@
+What’s Decidable About (Atomic) Polymorphism?
@@ Property / cites work: What’s Decidable About (Atomic) Polymorphism? / rank @@
+Normal rank
@@ Property / cites work @@
+Q5559220
@@ Property / cites work: Q5559220 / rank @@
+Normal rank
@@ Property / cites work @@
+Q5632554
@@ Property / cites work: Q5632554 / rank @@
+Normal rank
@@ Property / cites work @@
+Q4192055
@@ Property / cites work: Q4192055 / 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 @@
+Q4499084
@@ Property / cites work: Q4499084 / rank @@
+Normal rank
@@ Property / cites work @@
+Deciding equivalence with sums and the empty type
@@ Property / cites work: Deciding equivalence with sums and the empty type / rank @@
+Normal rank
@@ Property / cites work @@
+Q3879417
@@ Property / cites work: Q3879417 / rank @@
+Normal rank
@@ Property / cites work @@
+The intuitionistic propositional calculus with quantifiers
+Normal rank
@@ Property / cites work @@
+Proof-theoretic harmony: towards an intensional account
+Normal rank
@@ Property / cites work @@
+Stabilizing quantum disjunction
@@ Property / cites work: Stabilizing quantum disjunction / rank @@
+Normal rank
@@ Property / cites work @@
+The naturality of natural deduction
@@ Property / cites work: The naturality of natural deduction / rank @@
+Normal rank