Database query languages embedded in the typed lambda calculus
type: Item
instance of: scholarly article
title: Database query languages embedded in the typed lambda calculus
zbMATH Open document ID: 0856.68056
author: Gerd G. Hillebrand
author: Harry G. Mairson
author: Paris C. Kanellakis
published in: Information and Computation
publication date: 1996-10-01T00:00:00Z
Mathematics Subject Classification ID: 68P15
zbMATH DE Number: 930735
zbMATH Keywords: database query languages
MaRDI profile type: Publication
OpenAlex ID: W2106774480
DOI: 10.1006/INCO.1996.0055
Recommended article: Database query languages and functional logic programming
Recommended article: Typed query languages for databases containing queries
Recommended article: A class of bounded functions, a database language and an extended lambda calculus
Recommended article: On the expressive power of database queries with intermediate types
Recommended article: Deductive query languages for recursively typed complex objects
Recommended article: Q4692573
Recommended article: Q4222769
Recommended article: Implementation of logical query languages for databases
Recommended article: Algebraic and calculus query languages for recursively typed complex objects
description: scientific article; zbMATH DE number 930735