CIA Structures and the Semantics of Recursion.

Stefan Milius, Lawrence S. Moss, Daniel Schwencke

Browse the full FOSSACS paper archive.