Fingerprint
Dive into the research topics of 'Galois Connections for Recursive Types'. Together they form a unique fingerprint.- Sort by
- Weight
- Alphabetically
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