Pages that link to "Item:Q4094854"
From MaRDI portal
The following pages link to Definierbare Funktionen imλ-Kalkül mit Typen (Q4094854):
Displayed 5 items.
- \(\lambda\)-definability of free algebras (Q803116) (← links)
- Word operation definable in the typed \(\lambda\)-calculus (Q1099156) (← links)
- The typed lambda-calculus is not elementary recursive (Q1259590) (← 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)