Coordination and Underspecification in Type Theory of Acyclic Recursion.

Roussanka Loukanova

Browse the full DCAI paper archive.