Safe recursion with higher types and BCK-algebra (Q1577481): Difference between revisions

@@ Property / cites work @@
+A new recursion-theoretic characterization of the polytime functions
+Normal rank
@@ Property / cites work @@
+Q4934292
@@ Property / cites work: Q4934292 / rank @@
+Normal rank
@@ Property / cites work @@
+Q5586401
@@ Property / cites work: Q5586401 / rank @@
+Normal rank
@@ Property / cites work @@
+An Application of Category-Theoretic Semantics to the Characterisation of Complexity Classes Using Higher-Order Function Algebras
+Normal rank
@@ Property / cites work @@
+Extensional Constructs in Intensional Type Theory
@@ Property / cites work: Extensional Constructs in Intensional Type Theory / rank @@
+Normal rank
@@ Property / cites work @@
+Q4225149
@@ Property / cites work: Q4225149 / rank @@
+Normal rank
@@ Property / cites work @@
+Q4218937
@@ Property / cites work: Q4218937 / rank @@
+Normal rank
@@ Property / cites work @@
+Semantics of linear/modal lambda calculus
@@ Property / cites work: Semantics of linear/modal lambda calculus / rank @@
+Normal rank
@@ Property / cites work @@
+Q3727946
@@ Property / cites work: Q3727946 / rank @@
+Normal rank
@@ Property / cites work @@
+Q3142166
@@ Property / cites work: Q3142166 / rank @@
+Normal rank
@@ Property / cites work @@
+Q4474861
@@ Property / cites work: Q4474861 / rank @@
+Normal rank
@@ Property / cites work @@
+Q5639839
@@ Property / cites work: Q5639839 / rank @@
+Normal rank
@@ Property / cites work @@
+Q4222777
@@ Property / cites work: Q4222777 / rank @@
+Normal rank
@@ Property / cites work @@
+Logical relations and the typed λ-calculus
@@ Property / cites work: Logical relations and the typed λ-calculus / rank @@
+Normal rank