Finn Teegen (University of Kiel

Identifiers

• name variant Finn Teegen (University of Kiel 0.50 · backfill

Papers (1)

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

Mentions

No mention provenance yet.

Frequent Coauthors

• Germany) 1 shared papers
• Jan Christiansen (Flensburg University of Applied Sciences 1 shared papers
• Sandra Dylus (CAU Kiel 1 shared papers