@misc{indiciae852f693d7ea9,
  title = {Semantics of Typed Lambda-Calculus with Constructors},
  author = {Barbara Petit},
  year = {2011},
  doi = {10.2168/lmcs-7(1:2)2011},
  url = {https://arxiv.org/abs/1009.3429},
  note = {Source identifier: 1009.3429}
}