Pages that link to "Item:Q4094854"
From MaRDI portal
The following pages link to Definierbare Funktionen imλ-Kalkül mit Typen (Q4094854):
Displaying 11 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)
- The Typed Böhm Theorem (Q4916173) (← links)
- Introduction to Type Theory (Q5191087) (← links)
- LAMBDA-REPRESENTABLE FUNCTIONS OVER TERM ALGEBRAS (Q5249246) (← links)
- A characterization of lambda-terms transforming numerals (Q5371970) (← links)
- A quantitative model for simply typed λ-calculus (Q5875894) (← links)
