From Time to Space: The Impact of Linearity in Higher-Order Datalog

Documenti analoghi

• The Power of Negation in Higher-Order Datalog
  di: Charalambidis, Angelos, et al.
  Pubblicazione: (2025)
• Equilibrium Semantics and Strong Equivalence for Higher-Order Logic Programs
  di: Charalambidis, Angelos, et al.
  Pubblicazione: (2026)
• The Stable Model Semantics for Higher-Order Logic Programming
  di: Bogaerts, Bart, et al.
  Pubblicazione: (2024)
• Reasonable Space for the $λ$-Calculus, Logarithmically
  di: Accattoli, Beniamino, et al.
  Pubblicazione: (2022)
• A Datalog Framework for Conflict-Free Replicated Data Types
  di: Yanakieva, Elena, et al.
  Pubblicazione: (2026)