@misc{indiciae15f637919485,
  title = {A Categorical Model for the Lambda Calculus with Constructors},
  author = {Barbara Petit},
  year = {2012},
  url = {https://arxiv.org/abs/1202.4678},
  note = {Source identifier: 1202.4678}
}