@article{IR,
      recid = {3805},
      author = {Shultis, Jon},
      title = {Type checking In Exp: an algebraic approach},
      address = {1982},
      number = {IR},
      abstract = {cse-82-003},
      url = {http://digitalcollections.ohsu.edu/record/3805},
      doi = {https://doi.org/10.6083/hx11xf62z},
}