@misc{indiciaeba9ce867d844,
  title = {The Maximality of the Typed Lambda Calculus and of Cartesian Closed Categories},
  author = {Kosta Dosen and Zoran Petric},
  year = {2012},
  url = {https://arxiv.org/abs/math/9911073},
  note = {Source identifier: math/9911073}
}