Galois Connections for Recursive Types

Ahmad Salim Al-Sibahi, Thomas P. Jensen, Rasmus Ejlers Møgelberg, Andrzej Wasowski

Research output: Conference Article in Proceeding or Book/Report chapterBook chapterResearchpeer-review

Filter
Finished

Search results