@misc{indiciae3d0229bf621e,
  title = {From higher-order rewriting systems to higher-order categorial algebras and higher-order Curry-Howard isomorphisms},
  author = {Juan Climent Vidal and Enric Cosme Llópez and Raúl Ruiz Mora},
  year = {2026},
  url = {https://arxiv.org/abs/2402.12051},
  note = {Source identifier: 2402.12051}
}