@misc{indiciae2397366bda3a, title = {From Time to Space: The Impact of Linearity in Higher-Order Datalog}, author = {Angelos Charalambidis and Babis Kostopoulos and Panos Rondogiannis}, year = {2026}, url = {https://arxiv.org/abs/2606.02394}, note = {Source identifier: 2606.02394} }