@misc{indiciae46d9a7223183,
  title = {Normalisation of a Non-deterministic Type Isomorphic λ-calculus},
  author = {Alejandro Díaz-Caro and Gilles Dowek},
  year = {2014},
  url = {https://arxiv.org/abs/1306.5089},
  note = {Source identifier: 1306.5089}
}