LAMBDA-REPRESENTABLE FUNCTIONS OVER TERM ALGEBRAS (Q5249246): Difference between revisions

@@ Property / cites work @@
+Rekursive Wortfunktionen
@@ Property / cites work: Rekursive Wortfunktionen / rank @@
+Normal rank
@@ Property / cites work @@
+A new recursion-theoretic characterization of the polytime functions
+Normal rank
@@ Property / cites work @@
+Automatic synthesis of typed \(\Lambda\)-programs on term algebras
+Normal rank
@@ Property / cites work @@
+A formulation of the simple theory of types
@@ Property / cites work: A formulation of the simple theory of types / rank @@
+Normal rank
@@ Property / cites work @@
+Functions over free algebras definable in the simply typed lambda calculus
+Normal rank
@@ Property / cites work @@
+Definierbare Funktionen imλ-Kalkül mit Typen
@@ Property / cites work: Definierbare Funktionen imλ-Kalkül mit Typen / rank @@
+Normal rank
@@ Property / cites work @@
+The typed lambda-calculus is not elementary recursive
+Normal rank
@@ Property / cites work @@
+Word operation definable in the typed \(\lambda\)-calculus
+Normal rank
@@ Property / cites work @@
+\(\lambda\)-definability of free algebras
@@ Property / cites work: \(\lambda\)-definability of free algebras / rank @@
+Normal rank