@article{ETD,
      school = {Ph.D.},
      author = {Spencer, Dwight L. and },
      url = {http://digitalcollections.ohsu.edu/record/7987},
      title = {Categorical programming with functorial strength},
      publisher = {Oregon Health and Science University},
      number = {ETD},
      doi = {https://doi.org/10.6083/M4XK8CW9},
      recid = {7987},
      address = {1993-01-01},
}