Electronic category theory

This publication has 5 references indexed in Scilit:

• An abstract software specification technique based on structural recursion
  ACM SIGPLAN Notices, 1980
• HOPE
  Published by Association for Computing Machinery (ACM) ,1980
• Can programming be liberated from the von Neumann style?
  Communications of the ACM, 1978
• Graph-grammars: An algebraic approach
  Published by Institute of Electrical and Electronics Engineers (IEEE) ,1973
• Categories for the Working Mathematician
  Published by Springer Nature ,1971