@misc{indiciae93f81a7a5fb4,
  title = {A Linear-Time Nominal \$μ\$-Calculus with Name Allocation},
  author = {Daniel Hausmann and Stefan Milius and Lutz Schröder},
  year = {2021},
  url = {https://arxiv.org/abs/2010.10912},
  note = {Source identifier: 2010.10912}
}