Q6060673 (Q6060673): Difference between revisions

@@ Property / cites work @@
+The lambda calculus. Its syntax and semantics. Rev. ed.
+Normal rank
@@ Property / cites work @@
+Q3077958
@@ Property / cites work: Q3077958 / rank @@
+Normal rank
@@ Property / cites work @@
+Synthesis of Functional Programs with Help of First-Order Intuitionistic Logic
+Normal rank
@@ Property / cites work @@
+Undecidability of the problem of recognizing axiomatizations for propositional calculi with implication
+Normal rank
@@ Property / cites work @@
+Undecidable problems for propositional calculi with implication
+Normal rank
@@ Property / cites work @@
+On Long Normal Inhabitants of a Type
@@ Property / cites work: On Long Normal Inhabitants of a Type / rank @@
+Normal rank
@@ Property / cites work @@
+Bounded Combinatory Logic
@@ Property / cites work: Bounded Combinatory Logic / rank @@
+Normal rank
@@ Property / cites work @@
+Q5111311
@@ Property / cites work: Q5111311 / rank @@
+Normal rank
@@ Property / cites work @@
+Q5442833
@@ Property / cites work: Q5442833 / rank @@
+Normal rank
@@ Property / cites work @@
+Q3522248
@@ Property / cites work: Q3522248 / rank @@
+Normal rank
@@ Property / cites work @@
+A variant of a recursively unsolvable problem
@@ Property / cites work: A variant of a recursively unsolvable problem / rank @@
+Normal rank
@@ Property / cites work @@
+Many-one degrees associated with partial propositional calculi
+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 @@
+Intuitionistic propositional logic is polynomial-space complete
+Normal rank
@@ Property / cites work @@
+A detailed argument for the Post-Linial theorems
@@ Property / cites work: A detailed argument for the Post-Linial theorems / rank @@
+Normal rank
@@ Property / cites work @@
+Undecidability of the problem of recognizing axiomatizations of superintuitionistic propositional calculi
+Normal rank
@@ links / mardi / name / links / mardi / name @@
+Publication:6060673