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

@@ Property / MaRDI profile type @@
+MaRDI publication profile
@@ Property / MaRDI profile type: MaRDI publication profile / rank @@
+Normal rank
@@ 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
@@ Property / full work available at URL @@
+https://doi.org/10.1142/s0129054101000394
+Normal rank
@@ Property / OpenAlex ID @@
+W2018999162
@@ Property / OpenAlex ID: W2018999162 / rank @@
+Normal rank
@@ links / mardi / name / links / mardi / name @@
+Publication:5249246