@misc{indiciae71fc8fd1290d,
  title = {A semantic account of strong normalization in Linear Logic},
  author = {Daniel de Carvalho and Lorenzo Tortora de Falco},
  year = {2014},
  url = {https://arxiv.org/abs/1304.6762},
  note = {Source identifier: 1304.6762}
}