Pages that link to "Item:Q803116"
From MaRDI portal
The following pages link to \(\lambda\)-definability of free algebras (Q803116):
Displaying 5 items.
- Infiniteness of \(\text{proof}(\alpha)\) is polynomial-space complete (Q1274981) (← links)
- Ordinals and ordinal functions representable in the simply typed lambda calculus (Q1302304) (← links)
- Functions over free algebras definable in the simply typed lambda calculus (Q1314357) (← links)
- LAMBDA-REPRESENTABLE FUNCTIONS OVER TERM ALGEBRAS (Q5249246) (← links)
- Implicit computation complexity in higher-order programming languages (Q5875893) (← links)
