CousineauCM85'

BibTeX

@inproceedings{DBLP:conf/fpca/CousineauCM85,
  author    = {Guy Cousineau and
               Pierre-Louis Curien and
               Michel Mauny},
  title     = {The Categorical Abstract Machine},
  booktitle = {FPCA},
  year      = {1985},
  pages     = {50-64},
  bibsource = {DBLP, http://dblp.uni-trier.de}
}