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 chapter › Book chapter › Research › peer-review
Research output: Conference Article in Proceeding or Book/Report chapter › Book chapter › Research › peer-review