The Categorical Abstract Machine

Guy Cousineau, Pierre-Louis Curien, Michel Mauny. The Categorical Abstract Machine. Science of Computer Programming, 8(2):173-202, 1987.

@article{CousineauCM87,
  title = {The Categorical Abstract Machine},
  author = {Guy Cousineau and Pierre-Louis Curien and Michel Mauny},
  year = {1987},
  tags = {abstract machine},
  researchr = {https://researchr.org/publication/CousineauCM87},
  cites = {0},
  citedby = {0},
  journal = {Science of Computer Programming},
  volume = {8},
  number = {2},
  pages = {173-202},
}