Sandra Dylus (CAU Kiel

Identifiers

• name variant Sandra Dylus (CAU Kiel 0.50 · backfill

Papers (1)

1. One Monad to Prove Them All cs.PL · 2018 · author #1

Mentions

No mention provenance yet.

Frequent Coauthors

• Finn Teegen (University of Kiel 1 shared papers
• Germany) 1 shared papers
• Jan Christiansen (Flensburg University of Applied Sciences 1 shared papers