Pages that link to "Item:Q4094854"
From MaRDI portal
The following pages link to Definierbare Funktionen imλ-Kalkül mit Typen (Q4094854):
Displaying 6 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)
- An analysis of the Core-ML language: Expressive power and type reconstruction (Q4632418) (← links)
