The Categorical Abstract Machine (bibtex)
by Guy Cousineau, Pierre-Louis Curien, Michel Mauny
G. Cousineau, P. Curien and M. Mauny, "The Categorical Abstract Machine", Science of Computer Programming, vol. 8, 1987, pp. 173-202.
Bibtex Entry:
	author = {Guy Cousineau and Pierre-Louis Curien and Michel Mauny},
	title = {The {C}ategorical {A}bstract {M}achine},
	journal = {Science of Computer Programming},
        publisher = {North Holland},
        volume = 8,
	year = 1987,
        pages = {173-202}
Powered by bibtexbrowser