DOI10.46298/lmcs-18(3:23)2022MaRDI QIDQ5043580
James Cheney, Wilmer Ricciotti
Publication date: 6 October 2022 Published in: Logical Methods in Computer Science (Search for Journal in Brave) Full work available at URL: https://arxiv.org/abs/2011.13451
zbMATH Keywords
strong normalization; language-integrated query; \(\top\top\)-lifting; nested relational calculus
Mathematics Subject Classification ID
03B70: Logic in computer science
68-XX: Computer science
Uses Software