@article{IR,
      author = {Paalic, Emir},
      url = {http://digitalcollections.ohsu.edu/record/3799},
      title = {DALI: an untyped CBV operational semantics and equational  theory  for datatypes with binders (technical development)},
      abstract = {cse-00-007},
      number = {IR},
      doi = {https://doi.org/10.6083/nz805z975},
      recid = {3799},
      address = {2000},
}