Pages that link to "Item:Q1923099"
From MaRDI portal
The following pages link to Database query languages embedded in the typed lambda calculus (Q1923099):
Displaying 10 items.
- The complexity of higher-order queries (Q498405) (← links)
- Principles of programming with complex objects and collection types (Q672333) (← links)
- Algebraic and calculus query languages for recursively typed complex objects (Q686644) (← links)
- An incremental algorithm for DLO quantifier elimination via constraint propagation (Q814643) (← links)
- Typed query languages for databases containing queries (Q1969759) (← links)
- A class of bounded functions, a database language and an extended lambda calculus (Q2402281) (← links)
- A structural approach to reversible computation (Q2581367) (← links)
- An analysis of the Core-ML language: Expressive power and type reconstruction (Q4632418) (← links)
- (Q5092325) (← links)
- Simply typed convertibility is \textsc{Tower}-complete even for safe lambda-terms (Q6635503) (← links)