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

Fingerprint

Dive into the research topics of 'Galois Connections for Recursive Types'. Together they form a unique fingerprint.

Keyphrases

Computer Science