Strongly normalizing higher-order relational queries

DOI10.4230/LIPICS.FSCD.2020.28MaRDI QIDQ6854406zbMATH OpenFDO

Authors Wilmer Ricciotti, James Cheney

Publication date 24 February 2026

Copyright license Creative Commons Attribution 3.0 Unported

Full work available at URL https://doi.org/10.4230/LIPICS.FSCD.2020.28

zbMATH Keywords

\(\top\top\)-liftinglanguage-integrated querynested relational calculusstrong normalization

Mathematics Subject Classification ID

Logic in computer science (03B70) Computer science (68-XX) Theory of computing (68Qxx)

Cites work

• A practical theory of language-integrated query
• Comprehending monads
• Conservativity of nested relational calculi with internal generic functions
• scientific article; zbMATH DE number 42059 (Why is no real title available?)
• Normal forms and conservative extension properties for query languages over collection types
• Principles of programming with complex objects and collection types
• Query languages for bags and aggregate functions
• Strongly normalizing audited computation
• Typed Lambda Calculi and Applications

This page was built for publication: Strongly normalizing higher-order relational queries

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q6854406)