Jan Christiansen (Flensburg University of Applied Sciences

Identifiers

• name variant Jan Christiansen (Flensburg University of Applied Sciences 0.50 · backfill

Papers (1)

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

Mentions

No mention provenance yet.

Frequent Coauthors

• Finn Teegen (University of Kiel 1 shared papers
• Germany) 1 shared papers
• Sandra Dylus (CAU Kiel 1 shared papers