Into the Infinite - Theory Exploration for Coinduction.

Slrn Halla Einarsdttir, Moa Johansson, Johannes man Pohjola

Browse the full AISC paper archive.