Reason isomorphically!

Ralf Hinze, Daniel W. H. James

Browse the full ICFP paper archive.