The Geometry of Linear Higher-Order Recursion.

Ugo Dal Lago

Browse the full LICS paper archive.