Login / Signup

A categorical foundation for structured reversible flowchart languages: Soundness and adequacy.

Robert GlückRobin Kaarsgaard
Published in: Log. Methods Comput. Sci. (2018)
Keyphrases