Claudio Sacerdoti Coen, Riccardo Treglia. Properties of a Computational Lambda Calculus for Higher-Order Relational Queries. In Giuseppa Castiglione, Marinella Sciortino, editors, Proceedings of the 24th Italian Conference on Theoretical Computer Science, Palermo, Italy, September 13-15, 2023. Volume 3587 of CEUR Workshop Proceedings, pages 254-267, CEUR-WS.org, 2023. [doi]
Abstract is missing.