@inproceedings{paper27,
  title = "An Internal Language for Autonomous Categories",
  author = "I. Mackie and L. Roman and S. Abramsky",
  year = "1993",
  booktitle = "Journal of Applied Categorical Structures",
  pages = "311-343",
  volume = "1",
}