On the Semantic Expressiveness of Recursive Types

Marco Patrignani, Eric Mark Martin, Dominique Devriese

Research output: Book/ReportOther reportResearch

Search results